夏休みの自由研究 Coqで楽しい証明

イキリサバタロウ

無料で読める本薄い本

夏休みは始まったばかり自由研究はCoqでサクッと終わらせてカブトムシなどを取りに行こう！

Chapters

始めねば　自由研究

排中律の二重否定を証明しよう

Author

イキリサバタロウ

生きる鯖の太郎

Topics

¥0今すぐ読む

公開: 2020/09/21
文章量: 約1,086字
価格: 0円