Code

演習問題はLeanでビルドしない#693

Code

Merged

Seasawher merged 1 commit intomainlean-ja/lean-by-example:mainfrom Seasawher/issue689lean-ja/lean-by-example:Seasawher/issue689Copy head branch name to clipboardAug 25, 2024

+9-1

Commits

Commits on Aug 25, 2024

• 演習問題はLeanでビルドしない

  Show description for c8f9f23
  Seasawher

  committed
  c8f9f23

  Copy full SHA for c8f9f23