Embedded Files
Program
Program
To be defined
Minicourses:
Mathematics in Lean
Profa. Daniele Nantes (UnB)
Dependently Typed Reasoning: An Introduction to Dependently Typed Formalization
Deivid Vale (Augusta University)
Page updated
Google Sites
Report abuse