There is a newer version of the record available.

Published May 19, 2019 | Version 1.2-8.10
Software Open

Equations v1.2

Creators

  • 1. Inria

Description

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

mattam82/Coq-Equations-v1.2-8.10.zip

Files (1.5 MB)

Name Size Download all
md5:9ed9ecbffb6e3846b86f382a4e136fad
1.5 MB Preview Download

Additional details

Related works

Is supplement to
https://github.com/mattam82/Coq-Equations/tree/v1.2-8.10 (URL)