package coq-math-classes

  1. Overview
  2. Doc
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

Rocq

Interactive Theorem Prover

Zulip GitHub Discourse Mastodon RSS
About
Changelog Releases Industrial Users Academic Users History Why Rocq? Roadmap
Ecosystem
Platform Packages Rocq Team Community Consortium Events Rocq Planet Jobs
Resources
Install Rocq Get Started Documentation Books Papers Logo
Policies
Governance Privacy Code of Conduct