Code

feat: custom recursors for Nat#193

Code

Merged

digama0 merged 3 commits intoleanprover-community:mainleanprover-community/batteries:mainfrom fgdorais:nat-recfgdorais/batteries:nat-recCopy head branch name to clipboardAug 15, 2023

+215-1

Commits

Commits on Jul 25, 2023

• feat: custom recursors for Nat

  fgdorais

  committed
  2565171

  Copy full SHA for 2565171

Commits on Aug 15, 2023

• fix: avoid using variable

  fgdorais

  committed
  3ab3370

  Copy full SHA for 3ab3370

• fix: spaces

  fgdorais

  committed
  58be5cc

  Copy full SHA for 58be5cc