Metatheory.jl

Metatheory.jl
Rules and Theories
EGraphs and Equality Saturation
E-Graph Analysis
Extracting from an E-Graph
Scheduling for E-Graph rewriting
Classical Rewriting
Global Metatheory.jl Options

Version

Classical Rewriting

Classical Rewriting

Edit on GitHub

Classical Rewriting

<!– TODO document –>

« Scheduling for E-Graph rewriting Global Metatheory.jl Options »

Powered by Documenter.jl and the Julia Programming Language.

Settings

Theme

This document was generated with Documenter.jl on Friday 10 September 2021. Using Julia version 1.6.2.