構成的証明
定理 = 仕様
証明 = 仕様を実行するアルゴリズム
『線形論理入門 ∼ What’s the USE? ∼』
関連
構成主義
構成的数学
#定理証明支援系
#証明