issues
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
Adding helper functions
#6
Closed
CohenCyril
closed
11 months ago
CohenCyril
commented
11 months ago
@ecranceMERCE
@ecranceMERCE