Lean4Physics: Reasoning Framework for College Physics in Lean4 · HackerLangs