egg

MaRDI QIDQ53655swMATHFDO

Official website https://arxiv.org/abs/2004.03082

Source code repository https://github.com/egraphs-good/egg

Cited in

(8)

• Leon
• AGREE
• Verigraph
• TRANSIT
• Metatheory.jl
• CatLib
• Theory exploration powered by deductive synthesis
• Goeland

This page was built for software: egg