Show HN: Wiki-like edit for Lean 4 project Physlib
By leanexplorer · 2026-07-30 · 2 points · 0 comments
https://jstoobysmith.github.io/PhyslibVerso/
By leanexplorer · 2 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews