background
Layer 1
MathWills
投稿
ログイン
(current)
Coq
のついた記事
@sabataro
128
1
1年以上前
ご飯おかわりの定理
@sabataro
234
2
2年弱前
進次郎の定理「aならばa」を証明してみる