Code

Dev#38

Code

Merged

JOSHCLUNE merged 8 commits intomainleanprover-community/duper:mainfrom devleanprover-community/duper:devCopy head branch name to clipboardDec 18, 2024

+88-50

Commits

Commits on Nov 13, 2024

• Merge pull request #37 from leanprover-community/main

  Show description for 4839857
  JOSHCLUNE

  authored
  4839857

  Copy full SHA for 4839857

Commits on Nov 30, 2024

• Added duper.ignoredUnusableFacts trace class

  JOSHCLUNE

  committed
  4007a27

  Copy full SHA for 4007a27

• Update duper.ignordUnusableFacts trace messages

  JOSHCLUNE

  committed
  4c83d7c

  Copy full SHA for 4c83d7c

• Added support for facts whose types are not Prop but can be made definitionally equal to Prop with metavariable assignment

  JOSHCLUNE

  committed
  530b94e

  Copy full SHA for 530b94e

• Adding some duper.delabFact.debug trace messages

  JOSHCLUNE

  committed
  514dbba

  Copy full SHA for 514dbba

• Set implicitLambda to false when elaborating terms passed into Duper

  JOSHCLUNE

  committed
  99dfe08

  Copy full SHA for 99dfe08

• Adding @ before elaborating input fact syntax

  JOSHCLUNE

  committed
  2f5a1f6

  Copy full SHA for 2f5a1f6

Commits on Dec 18, 2024

• Update to v4.14.0

  JOSHCLUNE

  committed
  15bd942

  Copy full SHA for 15bd942