Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / math-comp/finmap issues and pull requests
#13 - make cartesian products rely on two base types instead of one
Pull Request -
State: closed - Opened by ybertot over 7 years ago
#12 - Fix uses of bound variables in documentation
Pull Request -
State: closed - Opened by ybertot over 7 years ago
#11 - Bad notations interaction
Issue -
State: open - Opened by strub over 7 years ago
#10 - fix notations scopes and al
Pull Request -
State: closed - Opened by strub over 7 years ago
#9 - "ge 0" does not type check
Issue -
State: closed - Opened by mituharu over 7 years ago
- 1 comment
#8 - Tentative sub_porderType
Pull Request -
State: open - Opened by hivert almost 8 years ago
- 2 comments
#7 - From mathcomp Require Import order...
Issue -
State: closed - Opened by strub almost 8 years ago
- 1 comment
#6 - Add simple makefile
Pull Request -
State: closed - Opened by ejgallego over 8 years ago
#5 - Duplicate lemmas
Issue -
State: closed - Opened by mituharu over 8 years ago
- 1 comment
#4 - Some finmap/multiset lemmas that might be useful
Issue -
State: open - Opened by mituharu over 8 years ago
- 2 comments
#3 - Misc.
Pull Request -
State: closed - Opened by strub over 8 years ago
- 1 comment
#2 - About the lemma naming prefix `f`.
Issue -
State: closed - Opened by ejgallego over 8 years ago
- 5 comments
#1 - Bigop support
Issue -
State: closed - Opened by ejgallego over 8 years ago
- 4 comments