Propietario · leanprover

leanprover

Repositorios de código abierto monitorizados de leanprover, ordenados por estrellas.

3 repositorios

#1
lean4 ↗@leanproverLean
Lenguaje de programación y demostrador de teoremas Lean 4
★ 8960+32Variación de estrellas de los últimos 7 días
#2
cslib ↗@leanproverLean
La biblioteca de ciencias de la computación Lean (CSLib)
★ 691+13Variación de estrellas de los últimos 7 días
#3
elan ↗@leanproverRust
El gestor de versiones Lean
★ 614+7Variación de estrellas de los últimos 7 días