Tags
- 20 Literature
- calc モードの使い分け
- 選択公理と逆写像
- Lean 4 で論理パズルを解くための 5 つのステップ
- 背理法と排中律
- 関数合成の証明スタイル
- Lean 相談と支援タクティク
- Mathlib 定理探索のフローチャート
- Lean 論理セマンティクス
- rfl パターンによる自動書き換え
- 集合
- 命題論理のタクティク・モード対応表
- 一階述語論理のタクティク・モード対応表
- 一階述語論理のタクティク・モード技法
- タクティク・モード構築テクニック
- 命題論理の項モード対応表
- 一階述語論理の項モード対応表
- 一階述語論理の項モード技法
- 項モード構築テクニック
- 20 Literature
- calc モードの使い分け
- 選択公理と逆写像
- Lean 4 で論理パズルを解くための 5 つのステップ
- 背理法と排中律
- 関数合成の証明スタイル
- Lean 論理セマンティクス
- rfl パターンによる自動書き換え
- Royal Road to Topology Chapter I
- Royal Road to Topology Chapter II
- 集合
- 命題論理のタクティク・モード対応表
- 一階述語論理のタクティク・モード対応表
- 一階述語論理のタクティク・モード技法
- タクティク・モード構築テクニック
- 命題論理の項モード対応表
- 一階述語論理の項モード対応表
- 一階述語論理の項モード技法
- 項モード構築テクニック