Lean from First Proofs to Formalized Mathematics

A visual, complete learning path from programming fundamentals to expert theorem proving in Lean

3 learning journeys 3 public scholars 0 anonymous 30 publicly recorded words

Highest progress first: certificates, independently verified certificates, correct answers, completed questions, marked words, and read documents.

18 books 30 words marked 0 documents read 0/35 chapters certified 0 questions answered 0 correct

0% certified

fashaatmaja_ @fashaatmaja_ · joined Aug 2026

1 book 0 words marked 0 documents read 0/35 chapters certified 0 questions answered 0 correct

0% certified

lugoblogger@gmail.com @lugoblogger@gmail.com · joined Aug 2026

1 book 0 words marked 0 documents read 0/35 chapters certified 0 questions answered 0 correct

0% certified