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

イキリサバタロウ

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