Skip to content

coq-mathcomp-finmap release 1.2.0

Compare
Choose a tag to compare
@CohenCyril CohenCyril released this 09 Apr 14:44
· 123 commits to master since this release
f8cc109

Various improvements, taking advantage of mathcomp 1.8.0