Section: New Results
Nominal sets in Coq
Participants : Cyril Cohen, Nicolas Tabareau, Matthieu Sozeau, Gabriel Lewertoski.
Cyril Cohen collaborated with members of the team on the implementation of nominal sets in Coq.
Participants : Cyril Cohen, Nicolas Tabareau, Matthieu Sozeau, Gabriel Lewertoski.
Cyril Cohen collaborated with members of the team on the implementation of nominal sets in Coq.