neovim support for the Lean theorem prover
Readings on computational logic, interactive theorem proving and functio...
Topos theory in lean
? Ground Zero: Lean Cubical Base Library