Code

暗黙の引数 {x y : A} を紹介する#1284

Code

Merged

Seasawher merged 4 commits intomainlean-ja/lean-by-example:mainfrom Seasawher/issue276lean-ja/lean-by-example:Seasawher/issue276Copy head branch name to clipboardJan 2, 2025

+136-78

Commits

Commits on Jan 2, 2025

• 暗黙の引数 { x y : A } を紹介する

  Show description for 5b6a9ba
  Seasawher

  committed
  5b6a9ba

  Copy full SHA for 5b6a9ba

• README 追加

  Seasawher

  committed
  4caf5c2

  Copy full SHA for 4caf5c2

• 見出しに id を振る

  Seasawher

  committed
  772adb1

  Copy full SHA for 772adb1

• Curry Howard 同型対応の話を Prop のページに移す

  Seasawher

  committed
  24ba879

  Copy full SHA for 24ba879