Code

バージョン更新#1072

Code

Merged

Seasawher merged 8 commits intomainlean-ja/lean-by-example:mainfrom updatelean-ja/lean-by-example:updateCopy head branch name to clipboardNov 8, 2024

+38-55

Commits

Commits on Nov 8, 2024

• バージョン更新

  Seasawher

  committed
  4429983

  Copy full SHA for 4429983

• #eval の仕様変更に伴うコード例の更新

  Seasawher

  committed
  44b3392

  Copy full SHA for 44b3392

• メタ変数の番号を表示しない

  Seasawher

  committed
  c79218d

  Copy full SHA for c79218d

• ライブラリの変更に伴うコード例の更新

  Seasawher

  committed
  7a8daf4

  Copy full SHA for 7a8daf4

• #eval の仕様変更に伴うコード例の更新

  Seasawher

  committed
  2728e4e

  Copy full SHA for 2728e4e

• #eval の仕様変更に伴うコード例の更新

  Seasawher

  committed
  2b42bf8

  Copy full SHA for 2b42bf8

• #eval の仕様変更に伴うコード例の更新

  Seasawher

  committed
  5ed46b5

  Copy full SHA for 5ed46b5

• warning を消す

  Seasawher

  committed
  1b097a2

  Copy full SHA for 1b097a2