Kuniwak / semantics-of-programing-yokouchi-exercise

「プログラム意味論」の練習問題を形式証明する

「プログラム意味論（横内寛文, 共立出版）」の練習問題を定理証明支援系の Isabelle/HOL を使って解いていきます。