Coqでの定義の削除方法と注意点

まず、定義を削除するには次の手順を実行します。削除したい定義の名前を確認します。Coqでは、定義に名前を付けることが一般的です。削除したい定義が含まれるファイルを開きます。>>More