期末試験での現実逃避のため最近改めてCoqに触ってみた。ここでは、その内容と自分の理解について簡単にまとめて書き残すが、不正確な内容が含まれているかもしれない。 関数の連続性、数列の収束 微積分の証明をCoqで扱ってみたいなと思ったので、関係しそ…