Lean4Physics: Reasoning Framework for College Physics in Lean4

2 points | by soupspaces 12 hours ago