390 B
390 B
#programming-language #research
Coqを用いた定理証明支援の基礎
京都大学 五十嵐淳 「計算と論理」 授業資料(2023)
#programming-language #research
Coqを用いた定理証明支援の基礎
京都大学 五十嵐淳 「計算と論理」 授業資料(2023)