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

#17 - Revert #15

Pull Request - State: closed - Opened by ckeller 2 months ago

#16 - adapt to elpi 2.0

Pull Request - State: closed - Opened by gares 2 months ago - 3 comments

#15 - adapt to elpi 2.0

Pull Request - State: closed - Opened by gares 3 months ago - 2 comments

#14 - Do not try to rewrite equivalences under context

Pull Request - State: closed - Opened by ckeller 4 months ago

#13 - One example does not go through

Issue - State: open - Opened by ckeller 4 months ago
Labels: bug

#12 - Add dependencies for examples; comment out one example

Pull Request - State: closed - Opened by ckeller 4 months ago

#11 - Trakt fails with an alias of predicate

Issue - State: closed - Opened by tomaz1502 4 months ago
Labels: bug

#10 - Ci for Trakt

Pull Request - State: closed - Opened by louiseddp 12 months ago

#9 - change names of files to remove warning - becomes _

Pull Request - State: closed - Opened by louiseddp 12 months ago

#8 - Adapt to coq-elpi 2.0.0

Pull Request - State: closed - Opened by proux01 about 1 year 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 almost 3 years ago - 1 comment

#3 - Opam file outdated / Inclusion in Coq Platform

Issue - State: open - Opened by MSoegtropIMC almost 3 years ago - 8 comments

#2 - Highlight .elpi files on github

Pull Request - State: closed - Opened by gares about 3 years ago

#1 - Add dependency to ssreflect

Pull Request - State: closed - Opened by ckeller about 3 years ago - 1 comment