「みだれ」
定理証明支援系まわりの話
この話では定理自動証明と定理証明支援系
が混同されているが、これは意図的なものだろう
これもまた「みだれ」か？