There is a newer version of the record available.

Published May 19, 2019 | Version v1.2-8.8
Software Open

mattam82/Coq-Equations: Equations v1.2 for Coq 8.8

Authors/Creators

  • 1. Inria
  • 2. IMTA
  • 3. IIIT Hyderabad
  • 4. @coq @math-comp @LPCIC
  • 5. @dfinity-lab
  • 6. @Zilliqa

Description

This final version contains mainly bugfixes over 1.2beta2, see announcement for more details

Files

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

Files (1.5 MB)

Name Size Download all
md5:6e0cc19f07285d55587053d82e6703ef
1.5 MB Preview Download

Additional details

Related works

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