Lean4Physics: Reasoning Framework for College Physics in Lean4(arxiv.org)2 points·by soupspaces·9일 전·0 commentsarxiv.orgLean4Physics: Reasoning Framework for College Physics in Lean4https://arxiv.org/abs/2510.260940 commentsPost comment—