Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / coq-community/math-classes issues and pull requests

#32 - Fix definition of equivalence of polynomials

Pull Request - State: closed - Opened by langston-barrett over 7 years ago - 2 comments

#31 - Is there a Decision procedure for ≤ on Rationals?

Issue - State: open - Opened by langston-barrett over 7 years ago - 2 comments

#30 - Why does rationals_le use the concrete type nat?

Issue - State: open - Opened by langston-barrett over 7 years ago - 1 comment

#29 - How does one use left_cancellation on (N, *)?

Issue - State: closed - Opened by langston-barrett over 7 years ago - 1 comment

#28 - canonical_names.v overwrites a lot of standard notation

Issue - State: open - Opened by langston-barrett over 7 years ago - 2 comments

#27 - pull-requests with commits that we have on our side and are not upstream

Pull Request - State: closed - Opened by ghost over 7 years ago

#26 - merging v8.6 branch to master

Pull Request - State: closed - Opened by ghost over 7 years ago

#25 - coq 8.6. support

Issue - State: closed - Opened by vzaliva over 7 years ago - 15 comments

#24 - A restriction of `Apart` is `Apart`, not `Equal`.

Pull Request - State: closed - Opened by urkud almost 8 years ago

#23 - Write a new proof for natpair_integers.zero_product.aux.

Pull Request - State: closed - Opened by urkud almost 8 years ago

#22 - Fix a typo in the definition of poly_eq

Pull Request - State: closed - Opened by urkud almost 8 years ago

#21 - Triangle inequality is an inequality, not an equality

Pull Request - State: closed - Opened by urkud almost 8 years ago - 1 comment

#20 - Specify some arguments explicitly to speedup compilation.

Pull Request - State: closed - Opened by urkud almost 8 years ago

#19 - V8.6

Pull Request - State: closed - Opened by spitters almost 8 years ago

#18 - V8.6

Pull Request - State: closed - Opened by spitters almost 8 years ago - 1 comment

#17 - fix definition of InnerProductSpace

Pull Request - State: closed - Opened by langston-barrett almost 8 years ago - 4 comments

#16 - Triangle inequality is an inequality, not an equality

Pull Request - State: closed - Opened by urkud almost 8 years ago

#15 - add elementary lemmas about modules

Pull Request - State: closed - Opened by langston-barrett almost 8 years ago - 7 comments

#14 - Revise definitions of Module, VectorSpace

Pull Request - State: closed - Opened by langston-barrett almost 8 years ago - 3 comments

#13 - Travis CI

Pull Request - State: closed - Opened by langston-barrett almost 8 years ago

#12 - adding "Make" and "Makefile"

Pull Request - State: closed - Opened by ghost over 8 years ago

#11 - adding "Make" and "Makefile"

Pull Request - State: closed - Opened by ghost over 8 years ago

#10 - fixing compilation with Coq trunk

Pull Request - State: closed - Opened by ghost over 8 years ago

#9 - fixing compilation with Coq 8.5

Pull Request - State: closed - Opened by ghost over 8 years ago

#8 - fixing compilation with Coq trunk

Pull Request - State: closed - Opened by ghost over 8 years ago - 2 comments

#7 - merged Coq team's fixes to mathclasses, from branch v8.5 at

Pull Request - State: closed - Opened by aa755 over 8 years ago - 1 comment

#6 - merged Coq team's fixes to mathclasses, from branch v8.5 at

Pull Request - State: closed - Opened by aa755 over 8 years ago - 3 comments

#5 - Absolutize all [Import]s

Pull Request - State: closed - Opened by JasonGross over 9 years ago - 1 comment

#3 - Preparation for Opam

Pull Request - State: closed - Opened by clarus almost 10 years ago

#2 - Remove trailing whitespace.

Pull Request - State: closed - Opened by tomprince almost 13 years ago

#1 - Hints about relations.

Pull Request - State: closed - Opened by tomprince almost 13 years ago