Lean4Physics: Reasoning Framework for College Physics in Lean4

(arxiv.org)

2 points | by soupspaces 11 hours ago ago