Nominal Sets in Rocq

Fabrício Sanches Paranhos, Daniel Ventura

Nominal techniques have been praised for their ability to formalize grammars with binding structures closer to their informal developments. At its core, there lies the definition o…