1
Show HN: Wiki-like edit for Lean 4 project Physlib
用 Wiki 方式协作编辑 Lean 4 形式化物理库，降低贡献门槛，让物理定理证明更开放。
Article URL: https://jstoobysmith.github.io/PhyslibVerso/ Comments URL: https://news.ycombinator.com/item?id=49107816 Points: 1 # Comments: 0