Skip to content

Mczify 1.0.0+1.12+8.13
Compare
Choose a tag to compare
@pi8027 pi8027 released this 22 Apr 01:03
· 75 commits to master since this release
1.0.0+1.12+8.13
fd5b9bf

This is the first release of the mczify library, which enables the use of the Micromega tactics for goals stated with the definitions of the Mathematical Components library. Mczify 1.0.0+1.12+8.13 is compatible with MathComp 1.12 and Coq 8.13.

Assets 2
Loading