HomeHacker News Show HN: Wiki-like edit for Lean 4 project Physlib https://ift.tt/4XQOqPI bysocial trendds -July 30, 2026 0 Show HN: Wiki-like edit for Lean 4 project Physlib https://jstoobysmith.github.io/PhyslibVerso/ July 30, 2026 at 02:47AM Tags Hacker News Facebook Twitter
