Zenn
idris
このトピックを指定するには
idris
と入力
Articles
3
Books
1
Scraps
1
articles
Trending
Alltime
Latest
🍩
Idrisで定理証明をやっていく - 論理式 AND
mokos
2021/12/12
🐧
Idrisで定理証明をやっていく - p ならば p の証明
mokos
2021/12/07
1
💡
Idrisで定理証明をやっていく
mokos
2021/12/07
1