Mczify 1.2.0+1.12+8.13
Compatible with Mathematical Components 1.12 to 1.13 and Coq 8.13 to 8.15+rc1. Support for the NatTrec
operators and conversions between nat
and N
or positive
has been added.
Compatible with Mathematical Components 1.12 to 1.13 and Coq 8.13 to 8.15+rc1. Support for the NatTrec
operators and conversions between nat
and N
or positive
has been added.