rocq-community / trocqLinks

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

Alternatives and similar repositories for trocq

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

Sorting: