leanprover / con-leche
git clone https://github.com/leanprover/con-leche.git
An external lean checker with a proof of consistency
+0
stars, 24h · #22,284
+~0
stars, 7 days · #22,759
+~0
stars, 30 days · #29,112
140
★ total
10
forks · 1 open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2026-08-19 (2mo ago)
Last pushtoday
OwnerOrganization