4 results found Sort:

Neovim support for the Lean theorem prover
Created 2020-12-30
1,850 commits to main branch, last one 15 hours ago
Readings on computational logic, interactive theorem proving and functional programming.
Created 2016-12-31
1,571 commits to master branch, last one a day ago
2
56
unknown
9
Topos theory in lean
Created 2020-02-16
257 commits to master branch, last one 3 years ago
Ground Zero: Lean 4 HoTT Library
Created 2022-03-21
1,011 commits to master branch, last one 20 days ago