Code

feat: 旧Lean by Exampleから型クラスの記事を移設する#459

Code

Merged

Seasawher merged 4 commits intomainlean-ja/lean-by-example:mainfrom Seasawher/issue369lean-ja/lean-by-example:Seasawher/issue369Copy head branch name to clipboardJul 6, 2024

+337

Commits

Commits on Jul 6, 2024

• feat: 旧Lean by Exampleから型クラスの記事を移設する

  Show description for 7d53609
  Seasawher

  committed
  7d53609

  Copy full SHA for 7d53609

• feat: 旧Lean by Exampleから型クラスの記事を移設する

  Show description for 5c988b0
  Seasawher

  committed
  5c988b0

  Copy full SHA for 5c988b0

• Repr の記事を新 Lean by Example に合わせて修正

  Seasawher

  committed
  68f874c

  Copy full SHA for 68f874c

• CoeSort の説明を新バージョンに合わせて更新し，さらに誤りも修正

  Seasawher

  committed
  aa6f587

  Copy full SHA for aa6f587