Code

騎士と悪党の論理パズルにおける問題文の形式化がおかしい#654

Code

Merged

Seasawher merged 1 commit intomainlean-ja/lean-by-example:mainfrom Seasawher/issue653lean-ja/lean-by-example:Seasawher/issue653Copy head branch name to clipboardAug 20, 2024

+47-16

Commits

Commits on Aug 20, 2024

• 騎士と悪党の論理パズルにおける問題文の形式化がおかしい

  Show description for f71eac3
  Seasawher

  committed
  f71eac3

  Copy full SHA for f71eac3