google-deepmind / cryptids
git clone https://github.com/google-deepmind/cryptids.git
Some Cryptids and Lean proofs
+0
stars, 24h · #35,137
+~0
stars, 7 days · #35,612
+53
stars, 30 days · #11,191
58
★ total
7
forks · 3 open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2026-10-09 (12d ago)
Last push1d ago
OwnerOrganization