Coqの入門記事を書く会 (3)

このペースだと、なかなかCoqの一番面白いところ（とわたしが思うところ）に行き着かないので、今回は全力ですっ飛ばして、必要な細かい話を全部片付けちゃおうと思います。次回が面白くなるはずです。今回は、主に、自然数やリストにまつわる証明の巻。