202109202

かなり前に Coq に入門しようとしたとき、基礎知識がなさすぎてチュートリアルを読んでもなにも分からないし、なにを勉強したら分かるのかも分からない。さらになにができるようになるのかも分からない、という状態であった。勉強が分からないというのは、まさにこういう状態なのだと思う。