Hacker News new | ask | show | jobs
Show HN: Wiki-like edit for Lean 4 project Physlib (jstoobysmith.github.io)
2 points by leanexplorer 2 days ago