202608601

ぜんぜん詳しくないのであれだが、記号処理と探索による定理証明支援系ももう少し張り合えないのかという疑問はある。