There is a newer version of this record available.

Software Open Access

Equations v1.2

Matthieu Sozeau; Cyprien Mangin

This final version contains mainly bugfixes over 1.2beta2, see announcement for more details. It has been tested with the 8.10beta1 release of Coq.

Files (1.5 MB)
Name Size
mattam82/Coq-Equations-v1.2-8.10.zip
md5:9ed9ecbffb6e3846b86f382a4e136fad
1.5 MB Download
322
26
views
downloads
All versions This version
Views 322107
Downloads 267
Data volume 36.1 MB10.8 MB
Unique views 27996
Unique downloads 217

Share

Cite as