Graphsc

swMATH19205MaRDI QIDQ31035FDOQ31035

Author name not available (Why is that?)

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

Cited In (2)

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

This page was built for software: Graphsc