Future proof Zlcm.v and ZMod.v for

coq-community / corn

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]

http://c-corn.github.io/

GNU General Public License v2.0

108 stars 43 forks source link

Closed mrhaandi closed 3 years ago

mrhaandi commented 3 years ago

This PR makes Zlcm.v and ZMod.v work with https://github.com/coq/coq/pull/14086 in a backwards compatible manner.