Code

feat: add absurd tactic#218

Code

Merged

digama0 merged 3 commits intoleanprover-community:mainleanprover-community/batteries:mainfrom fgdorais:absurd_tacfgdorais/batteries:absurd_tacCopy head branch name to clipboardAug 17, 2023

+55

Commits

Commits on Aug 15, 2023

• feat: add absurd tactic

  fgdorais

  committed
  93b54b0

  Copy full SHA for 93b54b0

• chore: test with random goals

  fgdorais

  committed
  5af77d8

  Copy full SHA for 5af77d8

Commits on Aug 16, 2023

• fix: use refine

  Show description for dfa8750
  

  fgdorais

  and

  digama0

  authored
  dfa8750

  Copy full SHA for dfa8750