所有者 · Paper-Proof

Paper-Proof

Paper-Proof 收录中的开源项目，按星标数排序。

共 1 个项目

#1
paperproof ↗@Paper-ProofTypeScript
Lean 定理证明界面，提供如同纸笔书写般的证明体验。
★ 545+3近 7 天星标变化