rocq-community / trocqLinks

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

Alternatives and similar repositories for trocq

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

Sorting: