Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
1.
PhysLean: Formalising Physics into Lean 4 (github.com/lean-phys-community)
2 points
leanexplorer
4 months ago
discuss