図式による証明支援系



Copyright (C) 1997 木下佳樹、高橋孝一、中田秀基、坂井公