Paper-Proof/paperproof
@Paper-Proof紙とペンのような感覚で証明を行える Lean 定理証明インターフェース
スター
545
フォーク
18
言語
TypeScript
ライセンス
MIT
最終プッシュ
3 日前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。
紙とペンのような感覚で証明を行える Lean 定理証明インターフェース
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。