https://popl26.sigplan.org/details/rocqpl-2026-papers/5/Sulfur-Substitution-Generation-using-a-Logical-Framework
Sulfur: Substitution Generation using a Logical Framework (RocqPL 2026 - Rocq for Programming...
The goal of this workshop is to provide an opportunity for programming languages researchers and practitioners with an interest in the Rocq Prover to meet and...
logical framework