メモ
http://ysserve.int-univ.com/Lecture/SetTheory3/settheory01/node1.html
集合の基礎的性質その1
http://krakatoa.lri.fr/
The Krakatoa Tool for Java Program Verification
http://pvs.csl.sri.com/index.shtml
PVS Specification and Verification System
http://ysserve.int-univ.com/Lecture/SetTheory3/settheory01/node1.html
集合の基礎的性質その1
http://krakatoa.lri.fr/
The Krakatoa Tool for Java Program Verification
http://pvs.csl.sri.com/index.shtml
PVS Specification and Verification System