leanprover/lean3

Lean Theorem Prover

dependent-typesleanprogramming-languagetheorem-provingtype-theoryverification

Licencia y mantenimiento

Apache-2.0 es una licencia permisiva: uso comercial libre con atribución.

Último cambio de código hace 3 años. Archivado: solo lectura, sin más actualizaciones.

	Repositorio	Estrellas	Lenguaje	Licencia	Actividad
1	bendlang/bendBend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh \| sh	★ 23.8k	TypeScript	Apache-2.0	Activo
2	agda/agdaAgda is a dependently typed programming language / interactive theorem prover.	★ 2.9k	Haskell	Other	Activo
3	dafny-lang/dafnyDafny is a verification-aware programming language	★ 3.6k	C#	Other	Activo
4	FStarLang/FStarA Proof-oriented Programming Language	★ 3.1k	F*	Apache-2.0	Activo
5	golang/goThe Go programming language	★ 139.3k	Go	BSD-3-Clause	Activo
6	argotorg/soliditySolidity, the Smart Contract Programming Language	★ 25.8k	C++	GPL-3.0	Activo
7	ruby/rubyThe Ruby Programming Language	★ 23.8k	Ruby	Other	Activo
8	AlDanial/cloccloc counts blank lines, comment lines, and physical lines of source code in many programming languages.	★ 23.6k	Perl	GPL-2.0	Activo