Aksbel contribution
Lean from First Proofs to Formalized Mathematics
A visual, complete learning path from programming fundamentals to expert theorem proving in Lean
Formalized mathematics · English
1 book initiation
1 current verification
1 verified version
3 recorded contributions
Open book