There is a newer version of the record available.

Published March 1, 2020 | Version v1.2.1-8.11
Software Open

mattam82/Coq-Equations: Equations 1.2.1 for Coq 8.11

Authors/Creators

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

Description

This release has all the features of 1.2.1 working for Coq 8.11. See https://mattam82.github.io/Coq-Equations/equations/2019/05/17/1.2.html for the 1.2 release notes.

Files

mattam82/Coq-Equations-v1.2.1-8.11.zip

Files (1.1 MB)

Name Size Download all
md5:5602f3ddcc45ac42e4eb269af58b18ed
1.1 MB Preview Download

Additional details

Related works

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