Coqのついた記事
sabataro
@sabataro
142 1 約4年前
ご飯おかわりの定理
sabataro
@sabataro
325 2 4年以上前
進次郎の定理「aならばa」を証明してみる