There is a newer version of the record available.

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

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

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.2beta-8.8.zip

Files (926.8 kB)

Name Size Download all
md5:36603e4be26bd2e391cc44e57cd7f9f0
926.8 kB Preview Download

Additional details

Related works

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