Code

ring タクティクを新しい型に対して使う方法を示す#1245

Code

Merged

Seasawher merged 1 commit intomainlean-ja/lean-by-example:mainfrom Seasawher/issue1231lean-ja/lean-by-example:Seasawher/issue1231Copy head branch name to clipboardDec 28, 2024

+90-2

Commits

Commits on Dec 28, 2024

• ring タクティクを新しい型に対して使う方法を示す

  Show description for 427b792
  Seasawher

  committed
  427b792

  Copy full SHA for 427b792