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
270
23
views
downloads
All versions This version
Views 27086
Downloads 236
Data volume 32.1 MB9.3 MB
Unique views 22876
Unique downloads 186

Share

Cite as