search

coq-community / trocq

A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]
http://coq-community.org/trocq/
GNU Lesser General Public License v3.0
18 stars 3 forks source link

Compress #16

Closed CohenCyril closed 9 months ago

CohenCyril commented 9 months ago

@ecranceMERCE and @amahboubi now we can do several Trocq Use in one go.