Code

chore: bump to nightly-2022-08-09#157

Code

Merged

gebner merged 3 commits intomasterleanprover-community/mathport:masterfrom bump220809leanprover-community/mathport:bump220809Copy head branch name to clipboardAug 15, 2022

+41-31

Commits

Commits on Aug 10, 2022

• chore: bump to nightly-2022-08-09

  gebner

  committed
  56a08fc

  Copy full SHA for 56a08fc

Commits on Aug 11, 2022

• feat: add elabAsElim

  digama0

  committed
  73b5d76

  Copy full SHA for 73b5d76

Commits on Aug 15, 2022

• chore: use "unsupported (impossible")

  Show description for 026fc35
  

  gebner

  and

  digama0

  authored
  026fc35

  Copy full SHA for 026fc35