4 results found Sort:

Julian
lean.nvim Julian
28
292
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,937 commits to main branch, last one a day ago
jaalonso
Lecturas_GLC jaalonso
8
74
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,609 commits to master branch, last one 17 hours 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
47
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,013 commits to master branch, last one 15 days ago