証明の検証

書いてみる

関連タグ

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

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

sgk
4年前