×
+ All Categories
Log in
English
Français
Español
Deutsch
Report -
The Lean Theorem Prover and Homotopy Type TheoryMay 2016 Outline Formal veri cation and interactive theorem proving The Lean Theorem Prover Lean’s kernel Lean’s elaborator The
Name
Email
Select
Select
Pornographic
Defamatory
Illegal/Unlawful
Spam
Other Terms Of Service Violation
File a copyright complaint
Message
Please pass captcha verification before submit form