markun.cs.shinshu-u.ac.jp

     
Proof Checkerを用いた、コンピュータプログラムの数学的証明の解説。