A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]
GNU Lesser General Public License v3.0
18
stars
3
forks
source link
Better examples about reduction modulo p #36
Closed
CohenCyril closed 6 months ago
Bug!
ping @amahboubi