擁有者 · Paper-Proof

Paper-Proof

Paper-Proof 收錄中的開源專案，依星數排序。

共 1 個專案

#1
paperproof ↗@Paper-ProofTypeScript
Lean 定理證明介面，提供如同紙筆書寫般的證明體驗。
★ 545+3近 7 天星數變化