証明の検証

書いてみる

関連タグ

#コンピュタ支援証明 (2)
#コンピュータプログラム (6)
#ブライアンディビス (2)

コンピュータ支援で証明のステップは大丈夫か

sgk
3年前