Graphsc

MaRDI QIDQ31035swMATHFDO

Official website https://github.com/sergei-grechanik/supercompilation-hypergraph

Source code repository https://github.com/sergei-grechanik/supercompilation-hypergraph

Cited in

(5)

• Proving properties of functional programs by equality saturation
• Pirate
• QuickSpec
• Refal
• TIP: tools for inductive provers

This page was built for software: Graphsc