HN
New
Show
Ask
Jobs
Built with Astro
Lean4Physics: Reasoning Framework for College Physics in Lean4
(arxiv.org)
2 points | by
soupspaces
11 hours ago
No comments yet.