Code

feat: lake: build without leanc#6176

Code

Merged

tydeu merged 3 commits intoleanprover:masterleanprover/lean4:masterfrom tydeu:lake/no-leanctydeu/lean4:lake/no-leancCopy head branch name to clipboardDec 2, 2024

+102-49

Commits

Commits on Nov 22, 2024

• feat: lake: build without leanc

  tydeu

  committed
  d4a70f3

  Copy full SHA for d4a70f3

• chore: fix test

  tydeu

  committed
  8079c06

  Copy full SHA for 8079c06

Commits on Nov 25, 2024

• chore: set MACOSX_DEPLOYMENT_TARGET when compiling exe

  tydeu

  committed
  c936137

  Copy full SHA for c936137