Lean4Physics: Reasoning Framework for College Physics in Lean4

(arxiv.org)

2 points | by soupspaces 12 hours ago ago

No comments yet.