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
fix link to univalent parametricity in README.md #38
Open
chenson2018 opened 2 months ago
Fixes #37