coq-community / trocq

A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]
20Updated last month

Alternatives and similar repositories for trocq:

Users that are interested in trocq are comparing it to the libraries listed below