coq-community/math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
CoqMIT
Issues
- 4
- 4
- 4
Support Coq 8.19
#124 opened by SnarkBoojum - 4
- 6
- 7
- 5
- 2
Inclusion in the Coq Platform
#107 opened by MSoegtropIMC - 1
- 2
- 1
- 2
RingOrder for types with decidable equality
#99 opened by mdgeorge4153 - 9
coq 8.13 support
#97 opened by vzaliva - 3
Release for Coq 8.12
#89 opened by palmskog - 4
Changing to an SPDX-identifiable license
#87 opened by palmskog - 2
Coq-8.11 support
#83 opened by vzaliva - 3
Release a version compatible with Coq 8.10.
#74 opened by Zimmi48 - 0
- 2
Compile with `-w "+compatibility-notation"
#63 opened by Zimmi48 - 1
- 7
master branch does not build cleanly (Streams)
#56 opened by Zdancewic - 2
- 5
- 1
- 2
- 1
- 2
- 7
Anomaly: index to an anonymous variable.
#34 opened by vzaliva - 1
installing with coq-8.5
#35 opened by vzaliva - 0
notation overwrite warnings
#47 opened by vzaliva - 0
Fix inner product space laws
#49 opened by langston-barrett - 1
`cofix` tactic without a name is deprecated.
#51 opened by ejgallego - 15
coq 8.6. support
#25 opened by vzaliva