a4です。Ｐ２Ｐ人工知能「Ｔ」開発(2)

[201 デフォルトの名無しさん 2018/09/19(水) 20:31:39.36 ID:E5VtUqWG]

coqとか定理証明支援系に興味ありますか？