Your account — Lean4 Academy

Language Tactics Academy Proof Stories Forum About

Courses Playground Pricing Get the Pass · €8

Academy in active development.New lessons and improvements are being added regularly. Questions or feedback?contact@lean4.dev

Loading your account…

A comprehensive learning platform for the Lean 4 programming language and theorem prover.

Learning

Proof Stories
Community Forum
Language Guide
Tactics Reference
Interactive Academy

Resources

Official Website
Mathlib Documentation
Zulip Community

Site

About
Contact
Editorial Policy

Policies

Privacy Policy
Terms of Use
Withdraw from contract
Legal Notice

Built for the Lean community. Not officially affiliated with the Lean FRO. Lean is a trademark of Lean FRO, LLC.