Aksbel book
Lean from First Proofs to Formalized Mathematics
A visual, complete learning path from programming fundamentals to expert theorem proving in Lean
Book initiator · Formalized mathematics · English
0 words marked
0 documents read
0/35 chapters certified
0 answered
0 correct
Active 18 Aug 2026