There is a newer version of the record available.

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

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

Creators

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

Description

Bugfixes and new features, see announcement for more details

Files

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

Files (1.6 MB)

Name Size Download all
md5:00be138e8656e86bcd1b765cea3f4202
1.6 MB Preview Download

Additional details

Related works

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