目的定理証明支援とは何かと現状の整理。定理証明支援とは定理証明支援とは数学の定理を自動で証明することではなく、ステップバイステップでコンピュータに命令を送り、数学の定理を証明するのを助けるシス…