Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ecrancemerce/trakt issues and pull requests
#14 - Do not try to rewrite equivalences under context
Pull Request -
State: closed - Opened by ckeller about 1 month ago
#13 - One example does not go through
Issue -
State: open - Opened by ckeller about 1 month ago
Labels: bug
#12 - Add dependencies for examples; comment out one example
Pull Request -
State: closed - Opened by ckeller about 1 month ago
#11 - Trakt fails with an alias of predicate
Issue -
State: closed - Opened by tomaz1502 about 2 months ago
Labels: bug
#10 - Ci for Trakt
Pull Request -
State: closed - Opened by louiseddp 9 months ago
#9 - change names of files to remove warning - becomes _
Pull Request -
State: closed - Opened by louiseddp 9 months ago
#8 - Adapt to coq-elpi 2.0.0
Pull Request -
State: closed - Opened by proux01 11 months ago
#7 - Incompatibility with Coq < 8.15
Issue -
State: open - Opened by pi8027 over 2 years ago
- 1 comment
#6 - Omit parentheses in term arguments of the `Trakt` commands
Pull Request -
State: closed - Opened by pi8027 over 2 years ago
#5 - Adding nix toolbox
Pull Request -
State: open - Opened by CohenCyril over 2 years ago
#4 - Respect the SPDX standard for license
Pull Request -
State: closed - Opened by ckeller over 2 years ago
- 1 comment
#3 - Opam file outdated / Inclusion in Coq Platform
Issue -
State: open - Opened by MSoegtropIMC over 2 years ago
- 8 comments
#2 - Highlight .elpi files on github
Pull Request -
State: closed - Opened by gares almost 3 years ago
#1 - Add dependency to ssreflect
Pull Request -
State: closed - Opened by ckeller almost 3 years ago
- 1 comment