InfoCreate an account or log in to access more pages.
Back to 1
Lean from First Proofs to Formalized Mathematics - A visual, complete learning path from programming fundamentals to expert theorem proving in Lean