Trending in open source
See what the GitHub community is most excited about this month.
Sign up for free to get started
-
EgbertRijke / sequential_colimits
-
htzh / leanproved
Theorems proved using the Lean prover.
-
leodemoura / msc-thesis
-
Kha / semantics-lean
-
fpvandoorn / leansnippets
Miscellaneous Lean code which doesn't belong in the standard library
-
zraffer / CoC-over-PTS
CIC, CoC, PTS
-
dselsam / fiat
Translation of Fiat into Lean
-
11Kilobytes / hott-exercises-lean
-
lambdacalculator / lean-choice
Formalization of my 2001 JSL proof that, intuitionistically, choice sets are well-orderable.
-
spl / lean-tutorial
Code from working on the Lean tutorial
-
myuon / lean-software-foundations
-
bbentzen / hott-lean-exercises
-
tounaishouta / Lean
Lean勉強会の資料、演習問題の解答例など
-
dselsam / misclean
-
myuon / lean-cate
-
cmu-phil / Spectral
-
fpvandoorn / hott-exercises-lean
-
bmalehorn / fib
Fibonacci library for Lean theorem prover.
-
arademaker / alc-lean
Formalization of ALC Logic in LEAN Prover
-
fgdorais / Birkhoff
-
petersonbill64 / lean
lean code
-
emc2 / leanstuff
Exploration of Lean
-
pcurry / learning-lean
Me trying to learn the lean theorem prover (on alternate wednesdays)
-
cjmazey / lean-tutorial
-
rodrigogribeiro / lean-tutorial
Some random notes and code fragments done while learning Lean theorem prover