Lean4Physics: Reasoning Framework for College Physics in Lean4arxiv.org2 points·soupspaces··0 commentsOpen articleSaveView on HN