Code

Fix broken code example (#138)#142

Code

Open

vlad902 wants to merge 1 commit intoleanprover:masterleanprover/theorem_proving_in_lean4:masterfrom vlad902:chap8-recursion-examplevlad902/theorem_proving_in_lean4:chap8-recursion-exampleCopy head branch name to clipboard

+3-3

Commits

Commits on Dec 5, 2024

• Fix broken code example (leanprover#138)

  Show description for bc20546
  vlad902

  committed
  bc20546

  Copy full SHA for bc20546