【Coq】コンピューターで証明しよう【コック】

【Coq】コンピューターで証明しよう【コック】
https://ai.2ch.sc/test/read.cgi/math/1421944863/

last-modified: 2021-12-25 16:04:30