Code

Dev#40

Code

Merged

JOSHCLUNE merged 5 commits intomainleanprover-community/duper:mainfrom devleanprover-community/duper:devCopy head branch name to clipboardJan 12, 2025

+17-17

Commits

Commits on Dec 18, 2024

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

  Show description for dd5c32e
  JOSHCLUNE

  authored
  dd5c32e

  Copy full SHA for dd5c32e

Commits on Jan 2, 2025

• Update lean-auto

  JOSHCLUNE

  committed
  707dc8f

  Copy full SHA for 707dc8f

Commits on Jan 10, 2025

• Update lean-auto

  JOSHCLUNE

  committed
  3228966

  Copy full SHA for 3228966

• Update lean-auto

  JOSHCLUNE

  committed
  4dc52f7

  Copy full SHA for 4dc52f7

Commits on Jan 11, 2025

• Update to lean version v4.15.0

  JOSHCLUNE

  committed
  9c9c1ab

  Copy full SHA for 9c9c1ab