Lean4Physics: Reasoning Framework for College Physics in Lean4
By soupspaces · 2026-07-03 · 2 points · 0 comments
https://arxiv.org/abs/2510.26094
By soupspaces · 2 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews