Paper-Proof/paperproof
@Paper-ProofLean 定理证明界面，提供如同纸笔书写般的证明体验。
星数
545
Fork 数
18
语言
TypeScript
许可
MIT
最后推送
23小时前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
Lean 定理证明界面，提供如同纸笔书写般的证明体验。
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。