There is a newer version of the record available.

Published January 28, 2019 | Version v1.2-beta-8.9
Software Open

mattam82/Coq-Equations: Equations v1.2-beta for Coq 8.9

Creators

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

Description

Release 1.2beta of Coq-Equations, see announcement here:

http://mattam82.github.io/Coq-Equations/equations/2019/01/28/1.2beta.html

Files

mattam82/Coq-Equations-v1.2-beta-8.9.zip

Files (1.2 MB)

Name Size Download all
md5:c277f251f79156c0ede093c416372b46
1.2 MB Preview Download

Additional details

Related works

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