Home Hacker News Show HN: Wiki-like edit for Lean 4 project Physlib https://ift.tt/CjN4Oh9

Show HN: Wiki-like edit for Lean 4 project Physlib https://ift.tt/CjN4Oh9

Technology World News July 30, 2026 Hacker News

Show HN: Wiki-like edit for Lean 4 project Physlib https://jstoobysmith.github.io/PhyslibVerso/ July 30, 2026 at 02:47AM

Show HN: Wiki-like edit for Lean 4 project Physlib https://ift.tt/CjN4Oh9 Reviewed by Technology World News on July 30, 2026 Rating: 5

No comments:

Subscribe to: Post Comments (Atom)