preparing Trocq to add prop

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

Open CohenCyril opened 10 months ago

CohenCyril commented 10 months ago

CC @amahboubi @ecranceMERCE

CohenCyril commented 3 months ago

@amahboubi finally done, we can release this branch soon.