Code

feat: 選択原理等から排中律を証明する例を追加する#546

Code

Merged

Seasawher merged 1 commit intomainlean-ja/lean-by-example:mainfrom Seasawher/issue407lean-ja/lean-by-example:Seasawher/issue407Copy head branch name to clipboardJul 30, 2024

+85-1

Commits

Commits on Jul 30, 2024

• feat: 選択原理等から排中律を証明する例を追加する

  Show description for 13741e5
  Seasawher

  committed
  13741e5

  Copy full SHA for 13741e5