Domain-Specific Rocq Automation with E-Graphs

Adrian Lehmann, Robert Rand
January 2025
Cite