StarRankExplorer
Back to rankings

leanprover/lean3

C++leanprover.github.io

Lean Theorem Prover

programming-languagetheorem-provingtype-theoryverificationdependent-typeslean
Star Growth
Stars
2.2k
Forks
226
Weekly Growth
—
Issues
58
1k2k
Jul 2013Nov 2017Mar 2022Jul 2026
README

This repository has been frozen. Lean 4 is now the official release.

About

Installation

Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions.

Related repositories
golang/go

The Go programming language

GoGo ModulesBSD 3-Clause "New" or "Revised" Licenseprogramming-languagelanguage
go.dev
135.3k19.3k
JetBrains/kotlin

The Kotlin Programming Language.

Kotlinkotlinprogramming-language
kotlinlang.org
53.2k6.4k
charlax/professional-programming

A collection of learning resources for curious software engineers

PythonPyPIMIT Licenseread-articlesprogrammer
51.3k4k
JuliaLang/julia

The Julia Programming Language

JuliaMIT Licensejulia-languagejulia
julialang.org
48.9k5.9k
LeCoupa/awesome-cheatsheets

👩‍💻👨‍💻 Awesome cheatsheets for popular programming languages, frameworks and development tools. They include everything you should know in one single file.

JavaScriptnpmMIT Licensecheatsheetsjavascript
lecoupa.github.io/awesome-cheatsheets/
46.2k6.7k
vlang/v

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

VMIT Licenseprogramming-languagelanguage
37.7k2.3k
carbon-language/carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

C++Otherprogramming-languagecarbon-lang
docs.carbon-lang.dev
33.8k1.6k
modular/modular

The Modular Platform (includes MAX & Mojo)

MojoOtherailanguage
docs.modular.com
26.6k2.9k
argotorg/solidity

Solidity, the Smart Contract Programming Language

C++GNU General Public License v3.0cppethereum
soliditylang.org
25.7k6.1k
ethereum/solidity

Solidity, the Smart Contract Programming Language

C++GNU General Public License v3.0cppethereum
soliditylang.org
24k6k
modular/max

The MAX Platform (includes Mojo)

MojoOtherailanguage
docs.modular.com/max/
23.8k2.6k
ruby/ruby

The Ruby Programming Language

RubyRubyGemsOtherrubyc
ruby-lang.org
23.7k5.6k