Graphsc

swMATH19205MaRDI QIDQ31035FDOQ31035

Author name not available (Why is that?)

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