定理証明支援系
数学の定理を証明するやつ