4 results found Sort:

Julian
lean.nvim Julian
25
267
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,731 commits to main branch, last one a day ago
jaalonso
Lecturas_GLC jaalonso
8
68
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,542 commits to master branch, last one a day ago
b-mehta
topos b-mehta
2
55
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
42
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,000 commits to master branch, last one 2 months ago