Code

[DRAFT]: Expression proof#226

Code

Open

adrianleh wants to merge 2 commits intoJuliaSymbolics:ale/3.0-proofJuliaSymbolics/Metatheory.jl:ale/3.0-prooffrom inQWIRE:adr/3.0-proofinQWIRE/Metatheory.jl:adr/3.0-proofCopy head branch name to clipboard

+137-6

Commits

Commits on Jul 2, 2024

• Add normal form, leader rewriting and fix equiv proof not have congruence

  adrianleh

  committed
  beb29b3

Commits on Jul 3, 2024

• Provide node proofs

  adrianleh

  committed
  0a33fbb