GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Programming Languages → Lean

Top 33 Lean open source projects

1. Lean
Homepage Theorem Proving in Lean FAQ
✭ 2,006
C++LeanCMakecshellpythonverificationtype-theorytheorem-provinglean
2. formalising-mathematics-2022
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
✭ 40
Lean
3. M40001 lean
Lean stuff for M40001
✭ 114
Lean
4. AliveInLean
Formally verified implementation of Alive in Lean
✭ 30
Leanllvmlean
5. lean-protocol-support
This project contains various supporting libraries for lean to reason about protocols.
✭ 32
Lean
6. Saturn
Experiments with SAT solvers with proofs in Lean 4
✭ 23
Leanlean4
7. lean-gym
No description, website, or topics provided.
✭ 57
Leanshell
8. lean-perfectoid-spaces
Perfectoid spaces in the Lean formal theorem prover.
✭ 98
Lean
9. flypitch
A formal proof of the independence of the continuum hypothesis
✭ 90
Lean
10. lean4-balance-car
Lean4 port of Arduino balance car controller
✭ 26
C++cLeanMakefilelean4
11. mathlib4
Work in progress mathlib port for lean 4
✭ 77
Leanlean4
12. Spectral
No description, website, or topics provided.
✭ 39
LeanTeX
13. tba-2021
Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
✭ 48
LeanDockerfilelean4
14. lake
Lean 4 build system and package manager with configuration files written in Lean.
✭ 39
Leanlean4
15. lftcm2020
Lean for the Curious Mathematician 2020
✭ 52
Lean
16. sphere-eversion
Formalization of the existence of sphere eversions
✭ 21
LeanTeXpythonHTMLshellCSS
17. lean-liquid
💧 Liquid Tensor Experiment
✭ 95
Lean
18. kata
If you want to get better at something, repeating practice alone is not enough. You must practice with increased difficulty and challenge.
✭ 19
Leanjavascriptpython
19. lean-stacks-project
Formal verification of parts of the Stacks Project in Lean
✭ 21
Lean
20. mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
✭ 28
pythonshellLeanNix
21. mathport
Mathport is a tool for porting Lean3 projects to Lean4
✭ 22
Lean
22. MT1300
OpenWrt auto build for GL-iNet MT1300
✭ 57
Leanshell
23. Example-Lean-Projects
Some examples of Lean projects, for undergraduate mathematicians.
✭ 18
Lean
24. doc-gen
Generate HTML documentation for mathlib and Lean
✭ 14
pythonCSSJinjaLeanjavascriptshelldocumentation-generator
25. lean-ga
A partial formalization of Geometric Algebra in the Lean formal proof verification system.
✭ 30
Leanleangeometric-algebra
26. lean-scheme
Schemes in Lean (v2)
✭ 40
Lean
27. combinatorics
b-mehta.github.io/combinatorics/
✭ 16
Lean
28. SciLean
Scientific computing in Lean 4
✭ 86
Leanscientific-computingnumerical-methodssymbolic-computationlean4
29. M4P33
M4 algebraic geometry course in Lean
✭ 49
Lean
30. xena-UROP-2018
A place to put our 2018 Xena project UROP thoughts and programs.
✭ 22
LeanTeX
31. coq-lean-cheatsheet
A quick reference for mapping Coq tactics to Lean tactics
✭ 60
Lean
32. qpf
Datatypes as quotients of polynomial functors
✭ 28
Leanshell
33. mathematics in lean
The user home repository for the Mathematics in Lean tutorial.
✭ 40
HTMLLeanjavascriptCSS
1-33 of 33 Lean projects