Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / bmsherman/topology issues and pull requests
#23 - Coercions should be explicitly imported
Issue -
State: closed - Opened by ppedrot almost 6 years ago
- 4 comments
#22 - Adapt to coq/coq#8850 (private polymorphic universes)
Pull Request -
State: closed - Opened by SkySkimmer about 6 years ago
- 3 comments
#22 - Adapt to coq/coq#8850 (private polymorphic universes)
Pull Request -
State: closed - Opened by SkySkimmer about 6 years ago
- 3 comments
#21 - Revert "Adapt to coq/coq#8850 (private universes for opaque constants) "
Pull Request -
State: closed - Opened by bmsherman about 6 years ago
#20 - Adapt to coq/coq#8850 (private universes for opaque constants)
Pull Request -
State: closed - Opened by SkySkimmer about 6 years ago
- 2 comments
#19 - Fix #18: `cofix` tactic without a name is deprecated.
Pull Request -
State: closed - Opened by ppedrot over 6 years ago
- 1 comment
#18 - `cofix` tactic without a name is deprecated
Issue -
State: closed - Opened by ejgallego over 6 years ago
- 1 comment
#17 - Overlay for Coq PR 7495
Pull Request -
State: open - Opened by gares over 6 years ago
#16 - Get rid of ' to provide compatibility with coq/coq#6155
Pull Request -
State: closed - Opened by robbertkrebbers over 6 years ago
- 2 comments
#15 - Coq now prunes phantom universes (backward-compatible patch).
Pull Request -
State: closed - Opened by SkySkimmer about 7 years ago
#14 - Adapt to coq/coq#1033
Pull Request -
State: closed - Opened by SkySkimmer about 7 years ago
- 1 comment
#13 - Don't use `decide equality` tactic
Pull Request -
State: closed - Opened by bmsherman about 7 years ago
#12 - Fix after decide equality is able to keep proofs in arguments in Prop.
Pull Request -
State: open - Opened by herbelin over 7 years ago
- 2 comments
#11 - Add install target
Pull Request -
State: closed - Opened by JasonGross over 7 years ago
#10 - Neither master nor predicative branches build (with v8.6, nor with trunk)
Issue -
State: closed - Opened by JasonGross over 7 years ago
- 1 comment
#9 - Travis
Pull Request -
State: closed - Opened by JasonGross over 7 years ago
#8 - Predicative travis
Pull Request -
State: closed - Opened by JasonGross over 7 years ago
#7 - Move predicative corn
Pull Request -
State: closed - Opened by JasonGross over 7 years ago
- 1 comment
#6 - Move corn
Pull Request -
State: closed - Opened by JasonGross over 7 years ago
- 1 comment
#5 - Project does not build with CoRN from opam
Issue -
State: closed - Opened by JasonGross over 7 years ago
- 1 comment
#4 - Add corn as a PHONY target (master branch)
Pull Request -
State: closed - Opened by JasonGross over 7 years ago
- 1 comment
#3 - Add corn as a PHONY target (predicative branch)
Pull Request -
State: closed - Opened by JasonGross over 7 years ago
- 1 comment
#2 - master branch cannot checkout corn
Issue -
State: closed - Opened by JasonGross over 7 years ago
#1 - No LICENSE
Issue -
State: closed - Opened by JasonGross over 7 years ago
- 1 comment