Code

Pin mathlib4 to port-complete#252

Code

Open

eric-wieser wants to merge 4 commits intomasterleanprover-community/mathport:masterfrom port-complete-branchleanprover-community/mathport:port-complete-branchCopy head branch name to clipboard

+5-5

Commits

Commits on Jul 22, 2023

• Pin mathlib4 to port-complete

  eric-wieser

  authored
  3c5df18

  Copy full SHA for 3c5df18

Commits on Jul 24, 2023

• Update Makefile

  eric-wieser

  authored
  f4c7c47

  Copy full SHA for f4c7c47

• Update config.json

  eric-wieser

  authored
  2810a07

  Copy full SHA for 2810a07

Commits on Oct 11, 2023

• fix readme

  eric-wieser

  committed
  429bd0a

  Copy full SHA for 429bd0a