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