0231132人目の素数さん垢版 | 大砲2022/12/22(木) 08:49:17.37ID:XxbM8r76 このようなソフトウェアに興味があるのですが、使えるようになるには、「証明論」のような本を 勉強しないとだめですよね。