4 results found Sort:

Julian
lean.nvim Julian
27
278
mit
7
Neovim support for the Lean theorem prover
lean nvim lean4 neovim leanprover tree-sitter neovim-plugin nvim-treesitter
Created 2020-12-30
1,879 commits to main branch, last one 12 hours ago
jaalonso
Lecturas_GLC jaalonso
8
71
gpl-3.0
12
Readings on computational logic, interactive theorem proving and functional programming.
coq itp logic prolog haskell leanprover isabelle-hol logic-programming functional-programming
Created 2016-12-31
1,584 commits to master branch, last one 2 days ago
b-mehta
topos b-mehta
2
56
unknown
9
Topos theory in lean
leanprover topos-theory
Created 2020-02-16
257 commits to master branch, last one 3 years ago
forked-from-1kasper
ground_zero forked-from-1kasper
1
45
apache-2.0
3
Ground Zero: Lean 4 HoTT Library
ctt hott lean math lean4 leanprover cubical-type-theory homotopy-type-theory
Created 2022-03-21
1,011 commits to master branch, last one about a month ago