返回市场
paperproof-validator
Formal Proof Visualization and Verification for Lean 4
查看仓库
Install
v1.0.0
cmdop
Development
formal proof visualization, Lean 4, mathematics, proof verification
3/1/2026
描述
Formal Proof Visualization and Verification for Lean 4
评价
暂无评价。
paperproof-validator — Formal Proof Visualization and Verification for Lean 4 | Cmdop Skills | CMDOP