Code

Dev#9

Code

Merged

JOSHCLUNE merged 5 commits intomainleanprover-community/duper:mainfrom devleanprover-community/duper:devCopy head branch name to clipboardMar 14, 2024

+32-22

Commits

Commits on Feb 12, 2024

• unfoldDefinitions bug fix

  JOSHCLUNE

  committed
  9e4bc73

  Copy full SHA for 9e4bc73

Commits on Feb 18, 2024

• Tracking isFromGoal through unfoldDefinitions correctly

  JOSHCLUNE

  committed
  e753c62

  Copy full SHA for e753c62

Commits on Feb 20, 2024

• Tracking isFromGoal through monomorphization procedure

  JOSHCLUNE

  committed
  5181e3b

  Copy full SHA for 5181e3b

Commits on Mar 14, 2024

• Update to lean4:v4.7.0-rc2

  JOSHCLUNE

  committed
  667e860

  Copy full SHA for 667e860

• Updating version on README

  JOSHCLUNE

  committed
  44ec745

  Copy full SHA for 44ec745