theoriclabs / LeanDB
git clone https://github.com/theoriclabs/LeanDB.git
—
+0
stars, 24h · #24,989
+~0
stars, 7 days · #25,464
+~0
stars, 30 days · #31,817
32
★ total
5
forks · 17 open issues
Star history (as recorded here)
LanguageLean
LicenseMIT
Created2026-08-27 (1mo ago)
Last push6d ago
OwnerOrganization