SSealbook
Sealbook / Open source / Programming languages & runtimes

leanprover/lean3

Lean Theorem Prover

dependent-typesleanprogramming-languagetheorem-provingtype-theoryverification
GitHub ↗Website ↗

License & maintenance

Apache-2.0 is a permissive license: free to use commercially with attribution.

Last code push 3 years ago. Archived: read-only, no further updates.

Similar projects

RepositoryStarsLanguageLicenseActivity
1bendlang/bendBend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh★ 23.8kTypeScriptApache-2.0Active
2agda/agdaAgda is a dependently typed programming language / interactive theorem prover.★ 2.9kHaskellOtherActive
3dafny-lang/dafnyDafny is a verification-aware programming language★ 3.6kC#OtherActive
4FStarLang/FStarA Proof-oriented Programming Language★ 3.1kF*Apache-2.0Active
5golang/goThe Go programming language★ 139.3kGoBSD-3-ClauseActive
6argotorg/soliditySolidity, the Smart Contract Programming Language★ 25.8kC++GPL-3.0Active
7ruby/rubyThe Ruby Programming Language★ 23.8kRubyOtherActive
8AlDanial/cloccloc counts blank lines, comment lines, and physical lines of source code in many programming languages.★ 23.6kPerlGPL-2.0Active