Sealbook / Open source / Lenguajes de programación y runtimes

leanprover/lean4

Lean 4 programming language and theorem prover

leanlean4

GitHub ↗Sitio ↗

Licencia y mantenimiento

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

Último cambio de código hoy.

Proyectos similares

	Repositorio	Estrellas	Lenguaje	Licencia	Actividad
1	leanprover/lean3Lean Theorem Prover	★ 2.2k	C++	Apache-2.0	Archivado
2	golang/goThe Go programming language	★ 139.3k	Go	BSD-3-Clause	Activo
3	microsoft/TypeScriptTypeScript is a superset of JavaScript that compiles to clean JavaScript output.	★ 111.5k	Go	Apache-2.0	Activo
4	denoland/denoA modern runtime for JavaScript and TypeScript.	★ 108.7k	Rust	MIT	Activo
5	python/cpythonThe Python programming language	★ 77.7k	Python	Other	Activo
6	swiftlang/swiftThe Swift Programming Language	★ 70.5k	Swift	Apache-2.0	Activo
7	karan/Projects:page_with_curl: A list of practical projects that anyone can solve in any programming language.	★ 48k	—	MIT	Sin cambios
8	php/php-srcThe PHP Interpreter	★ 40.4k	C	BSD-3-Clause	Activo