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
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