term-rewriting

Jun 28, 2026

• equality-saturation
• egraph
• term-rewriting
• compiler
• optimization
• theorem-proving

Jun 28, 2026

• term-rewriting
• rewriting
• dag
• normal-form
• computation