This is a simple script to convert Metatheory.jl https://github.com/0x0f0f0f/Metatheory.jl theories into an Egg https://egraphs-good.github.io/ query for comparison.
Get a rust toolchain https://rustup.rs/
Make a new project
cargo new my_project
cd my_project