Zenn
theoremprover
このトピックを指定するには
theoremprover
と入力
Articles
2
articles
Trending
Alltime
Latest
📝
ProofDataで中間的な定義や証明を整理する
井山梃子歴史館
17日前
7
📝
ProofData for organizing intermediate definitions and properties
井山梃子歴史館
17日前