coq戦術の使用


前書き

このセクションでは、様々なCoqの戦術と手法(ケース分析、誘導による証明、自動など)を使用して定理を証明する方法について説明します。

戦術の使用 関連する例