Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / coq/platform issues and pull requests

#14 - Add Math Classes to the Coq Platform

Issue - State: closed - Opened by palmskog over 4 years ago - 3 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#13 - Add SerAPI to the Coq Platform

Issue - State: closed - Opened by palmskog over 4 years ago - 19 comments
Labels: kind: package inclusion, approval: has maintainer agreement, needs: dependency downgrade fix

#13 - Add SerAPI to the Coq Platform

Issue - State: closed - Opened by palmskog over 4 years ago - 19 comments
Labels: kind: package inclusion, approval: has maintainer agreement, needs: dependency downgrade fix

#12 - Add coq-dpdgraph to the Coq Platform

Issue - State: closed - Opened by palmskog over 4 years ago - 20 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#12 - Add coq-dpdgraph to the Coq Platform

Issue - State: closed - Opened by palmskog over 4 years ago - 20 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#11 - Add Dune to the Coq Platform

Issue - State: closed - Opened by palmskog over 4 years ago - 35 comments
Labels: kind: package inclusion, approval: has maintainer agreement, needs: discussion

#11 - Add Dune to the Coq Platform

Issue - State: closed - Opened by palmskog over 4 years ago - 35 comments
Labels: kind: package inclusion, approval: has maintainer agreement, needs: discussion

#10 - Add CoqHammer (and ATPs) to the Coq Platform

Issue - State: closed - Opened by palmskog over 4 years ago - 21 comments
Labels: kind: package inclusion, needs: maintainer agreement, needs: cross platform fix

#9 - Add Quickchick

Issue - State: closed - Opened by spitters over 4 years ago - 2 comments

#8 - Coq platform alpha 1 (Windows and macOS)

Pull Request - State: closed - Opened by MSoegtropIMC over 4 years ago

#7 - HoTT

Issue - State: closed - Opened by spitters over 4 years ago - 10 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#6 - Add record-update

Issue - State: closed - Opened by tchajed over 4 years ago - 6 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#5 - Coq-Elpi (& hierarchy-builder)

Issue - State: closed - Opened by gares over 4 years ago - 22 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#4 - Make Iris and std++ part of the Coq platform

Issue - State: closed - Opened by RalfJung over 4 years ago - 30 comments
Labels: kind: package inclusion, approval: has maintainer agreement, needs: smoke test fix

#3 - List of supported packages

Issue - State: closed - Opened by spitters over 4 years ago - 5 comments

#2 - Coq platform for research artifact evaluation

Issue - State: open - Opened by palmskog almost 5 years ago - 22 comments
Labels: part: advertising

#1 - Fix typos in platform charter.

Pull Request - State: closed - Opened by Zimmi48 almost 5 years ago