Skip to content

Issues: coq-community/manifesto

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

37 Open 72 Closed
37 Open 72 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Proposal to move reduction-effects from coq-community to Coq main
#163 opened Oct 30, 2024 by MSoegtropIMC
3
Proposal to move project coq-serapi to coq-community move-project Move a project to coq-community.
#160 opened Sep 11, 2024 by ejgallego
7
Proposal to move coq-primitive to Coq-community move-project Move a project to coq-community.
#151 opened Nov 2, 2023 by palmskog
1
Proposal to move coq-library-complexity to coq-community coq-library maintainer-wanted This project is looking for a new maintainer. move-project Move a project to coq-community.
#150 opened Nov 2, 2023 by yforster
1
Proposal to move CoqIDE to Coq-community maintainer-wanted This project is looking for a new maintainer. move-project Move a project to coq-community.
#145 opened Jun 2, 2023 by palmskog
Consolidation of generally useful Coq code into Coq Platform projects meta To ask questions / discuss about the organization / process of coq-community.
#143 opened Dec 10, 2022 by palmskog
1 of 13 tasks
8
CI feedback from the Coq Community Survey 2022 meta To ask questions / discuss about the organization / process of coq-community.
#141 opened Sep 30, 2022 by Zimmi48
Change maintainer of ATBR change-maintainer When a maintainer wants to step down or has become unresponsive. coq-library coq-plugin maintainer-wanted This project is looking for a new maintainer.
#123 opened Dec 15, 2020 by palmskog
Automated deployment of coqdoc HTML documentation for each new release meta To ask questions / discuss about the organization / process of coq-community.
#118 opened Sep 11, 2020 by anton-trunov
2
Change maintainer of project Binary Rational Numbers change-maintainer When a maintainer wants to step down or has become unresponsive. maintainer-wanted This project is looking for a new maintainer.
#112 opened Aug 19, 2020 by palmskog
Listing and preserving formalized mathematical results in Coq meta To ask questions / discuss about the organization / process of coq-community.
#111 opened Aug 14, 2020 by palmskog
3
Special badge(s) for projects available on opam, Nix, etc. meta To ask questions / discuss about the organization / process of coq-community.
#96 opened Feb 7, 2020 by anton-trunov
2
Usefulness and recommended use of Coq projects in coq-community meta To ask questions / discuss about the organization / process of coq-community.
#93 opened Feb 5, 2020 by palmskog
20
Proposal to move project SMTCoq to coq-community coq-plugin move-project Move a project to coq-community.
#91 opened Feb 3, 2020 by palmskog
4
Guidelines for advocacy for Coq and Coq-community meta To ask questions / discuss about the organization / process of coq-community.
#90 opened Jan 28, 2020 by palmskog
2
Adding support for dune builds in coq-community projects automation meta To ask questions / discuss about the organization / process of coq-community.
#87 opened Dec 18, 2019 by palmskog
24
Proposal to move Polaris to coq-community coq-library maintainer-wanted This project is looking for a new maintainer. move-project Move a project to coq-community.
#83 opened Nov 12, 2019 by palmskog
2
Proposal to move FSCQ to coq-community coq-extraction maintainer-wanted This project is looking for a new maintainer. move-project Move a project to coq-community.
#82 opened Nov 9, 2019 by palmskog
Back-up repository data automation meta To ask questions / discuss about the organization / process of coq-community.
#76 opened Jul 12, 2019 by Zimmi48
1
Automation for citing Coq-community projects in publications automation meta To ask questions / discuss about the organization / process of coq-community.
#75 opened Jul 10, 2019 by palmskog
3
Organization wide contributing guide and code of conduct. meta To ask questions / discuss about the organization / process of coq-community.
#66 opened May 24, 2019 by Zimmi48
4
List of participants to coq-community is not easy to find and not visible enough. meta To ask questions / discuss about the organization / process of coq-community.
#61 opened Apr 9, 2019 by Zimmi48
5
Proposal to move NuprlInCoq to Coq-community coq-extraction coq-library move-project Move a project to coq-community.
#60 opened Mar 26, 2019 by palmskog
8
Proposal to move Velisarios to Coq-community coq-extraction coq-library move-project Move a project to coq-community.
#59 opened Mar 23, 2019 by palmskog
6
Move rippling to Coq-community coq-plugin maintainer-wanted This project is looking for a new maintainer. move-project Move a project to coq-community.
#57 opened Mar 17, 2019 by palmskog
ProTip! Add no:assignee to see everything that’s not assigned.