forked from leanprover/lean4
-
Notifications
You must be signed in to change notification settings - Fork 0
Lean 4 programming language and theorem prover
License
Wolfi-Chainguard-Demo/leanprover__lean4
ErrorLooks like something went wrong!
About
Lean 4 programming language and theorem prover
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Lean 82.9%
- C++ 15.1%
- Shell 0.5%
- CMake 0.4%
- Nix 0.3%
- Python 0.2%
- Other 0.6%