Code

Fix existentially quantified Nats#16

Code

Merged

PratherConid merged 2 commits intoleanprover-community:mainleanprover-community/lean-auto:mainfrom dranov:exists-natdranov/lean-auto:exists-natCopy head branch name to clipboardFeb 15, 2024

+2-1

Commits

Commits on Feb 13, 2024

• Fix existentially quantified Nats

  dranov

  committed
  29a3b79

  Copy full SHA for 29a3b79

Commits on Feb 15, 2024

• minor change

  PratherConid

  authored
  b42ec77

  Copy full SHA for b42ec77