leanprover/lean4
Lean 4 programming language and theorem prover
License & maintenance
Apache-2.0 is a permissive license: free to use commercially with attribution.
Last code push today.
Similar projects
| Repository | Stars | Activity | |
|---|---|---|---|
| 1 |  leanprover/lean3Lean Theorem Prover | ★ 2.2k | Archived |
| 2 |  golang/goThe Go programming language | ★ 139.3k | Active |
| 3 |  microsoft/TypeScriptTypeScript is a superset of JavaScript that compiles to clean JavaScript output. | ★ 111.5k | Active |
| 4 |  denoland/denoA modern runtime for JavaScript and TypeScript. | ★ 108.7k | Active |
| 5 |  python/cpythonThe Python programming language | ★ 77.7k | Active |
| 6 |  swiftlang/swiftThe Swift Programming Language | ★ 70.5k | Active |
| 7 |  karan/Projects:page_with_curl: A list of practical projects that anyone can solve in any programming language. | ★ 48k | Stale |
| 8 |  php/php-srcThe PHP Interpreter | ★ 40.4k | Active |