software . 2019

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

Sozeau, Matthieu; Pierre-Marie Pédrot; Mangin, Cyprien; Arias, Emilio Jesús Gallego; Gilbert, Gaëtan; Dénès, Maxime; Green, Robin; Herbelin, Hugo; Tassi, Enrico; Claret, Guillaume; ...
Open Source
  • Published: 01 Jan 2019
  • Publisher: Zenodo
Abstract
Equations 1.3 This is a new major release of Equations, working with Coq 8.13. This version adds an improved syntax (less ;-separation), integration with the Coq-HoTT library and numerous bug fixes. See the reference manual for details. This version introduces minor breaking changes along with the following features: Enhancements of pattern interpretation No explicit shadowing of pattern variables is allowed anymore. This fixes numerous bugs where generated implicit names introduced by the elaboration of patterns could shadow user-given names, leading to incorrect names in right-hand sides and confusing environments. Improved syntax for "concise" clauses separat...
Download fromView all 6 versions
Open Access
Zenodo
Software . 2019
Provider: Datacite
Open Access
Zenodo
Software . 2021
Provider: Datacite
Open Access
Zenodo
Software . 2019
Provider: Datacite
Open Access
Zenodo
Software . 2019
Provider: Datacite
Any information missing or wrong?Report an Issue