MilesCranmer / julia-in-lean
git clone https://github.com/MilesCranmer/julia-in-lean.git
Modelling Julia in Lean
+1
stars, 24h · #24,915
+~4
stars, 7 days · #29,127
+26
stars, 30 days · #26,903
26
★ total · +4% this week
3
forks · 0 open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2026-10-25 (13d ago)
Last push9d ago
OwnerUser
Links
README
Loading README…