package coq-math-classes

  1. Overview
  2. No Docs
A library of abstract interfaces for mathematical structures in Coq

Install

Dune Dependency

math-classes.github.io Edit opam file Versions (14)

Authors

  1. E
    Eelis van der Weegen
  2. B
    Bas Spitters
  3. R
    Robbert Krebbers

Maintainers

  1. B
    b.a.w.spitters@gmail.com

Sources

a3f7f8e20b5fb43e69d4560d9ac1a79a56cd6827.zip
md5=c657902605b9ce2f71847018d535c906

Description

Tags

logpath:MathClasses date:2015-05-08

Published: 25 Nov 2015

Dependencies (2)

  1. coq >= "8.4pl4" & < "8.5~"
  2. ocaml

Dev Dependencies

None

Used by (1)

  1. coq-corn < "1.2.0"

Conflicts

None