Lean4Physics: Reasoning Framework for College Physics in Lean4

 (arxiv.org)

2 points | by soupspaces 2 hours ago

0 comments