Learn Lean for a Great Good

Путевые заметки по Lean для быстрого восстановления в памяти

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
1_definitions.lean		1_definitions.lean
2_typesystems.lean		2_typesystems.lean
3_propositions.lean		3_propositions.lean
4_equality.lean		4_equality.lean
5_existential.lean		5_existential.lean
README.md		README.md

Provide feedback