leanprover / con-ron
git clone https://github.com/leanprover/con-ron.git
A rust port of con-leche
+0
stars, 24h · #28,230
+~0
stars, 7 days · #28,705
+~0
stars, 30 days · #35,058
33
★ total
5
forks · 1 open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2026-09-13 (1mo ago)
Last pushtoday
OwnerOrganization