Coqやソフトウェア検証の入門書として知られるSoftware Foundation(以下SF)シリーズのvol.1，Logical Foundationを読むグループを学科で立ち上げて，3年生が始まる前の春休みに皆で読んでいた。3年生の前期が始まると忙しくて中断してしまったが，夏休みに入…