Code

Remove Existence Explanations#333

Code

Merged

mwillsey merged 2 commits intomainegraphs-good/egg:mainfrom oflatt-remove-existence-proofsegraphs-good/egg:oflatt-remove-existence-proofsCopy head branch name to clipboardDec 31, 2024

+13-226

Commits

Commits on Aug 20, 2024

• remove existence explanations

  oflatt

  committed
  121d98a

  Copy full SHA for 121d98a

Commits on Aug 31, 2024

• Merge branch 'main' into oflatt-remove-existence-proofs

  oflatt

  authored
  c318a94

  Copy full SHA for c318a94