tristanbuckmaster / fluid_lean
git clone https://github.com/tristanbuckmaster/fluid_lean.git
—
+-1
stars, 24h · #59,921
+~-2
stars, 7 days · #58,766
+~-10
stars, 30 days · #59,295
267
★ total · -1% this week
19
forks · 2 open issues
Star history (as recorded here)
LanguageLean
License—
Created2026-09-08 (1mo ago)
Last push1mo ago
OwnerUser