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
#4 - CoqMakefile + sources at the root + papers removed + correction for Coq 8.4.5
Pull Request -
State: closed - Opened by clarus over 9 years ago
#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