Search results

Proposal to move Area Method to rocq-community

coq-library

move-projectMove a project to coq-community.Move a project to coq-community.

Status: Open.

#169 In rocq-community/manifesto;

· palmskog opened on May 9, 2025

Proposal to move reduction-effects from coq-community to Coq main

Status: Open.

#163 In rocq-community/manifesto;

· MSoegtropIMC opened on Oct 30, 2024

Proposal to move coq-primitive to Coq-community

move-projectMove a project to coq-community.Move a project to coq-community.

Status: Open.

#151 In rocq-community/manifesto;

· palmskog opened on Nov 2, 2023

Proposal to move coq-library-complexity to coq-community

coq-library

maintainer-wantedThis project is looking for a new maintainer.This project is looking for a new maintainer.

move-projectMove a project to coq-community.Move a project to coq-community.

Status: Open.

#150 In rocq-community/manifesto;

· yforster opened on Nov 2, 2023

Proposal to move CoqIDE to Coq-community

maintainer-wantedThis project is looking for a new maintainer.This project is looking for a new maintainer.

move-projectMove a project to coq-community.Move a project to coq-community.

Status: Open.

#145 In rocq-community/manifesto;

· palmskog opened on Jun 2, 2023

Consolidation of generally useful Coq code into Coq Platform projects

metaTo ask questions / discuss about the organization / process of coq-community.To ask questions / discuss about the organization / process of coq-community.

Status: Open.

#143 In rocq-community/manifesto;

· palmskog opened on Dec 10, 2022

CI feedback from the Coq Community Survey 2022

metaTo ask questions / discuss about the organization / process of coq-community.To ask questions / discuss about the organization / process of coq-community.

Status: Open.

#141 In rocq-community/manifesto;

· Zimmi48 opened on Sep 30, 2022

Change maintainer of ATBR

change-maintainerWhen a maintainer wants to step down or has become unresponsive.When a maintainer wants to step down or has become unresponsive.

coq-library

coq-plugin

maintainer-wantedThis project is looking for a new maintainer.This project is looking for a new maintainer.

Status: Open.

#123 In rocq-community/manifesto;

· palmskog opened on Dec 15, 2020

Automated deployment of coqdoc HTML documentation for each new release

metaTo ask questions / discuss about the organization / process of coq-community.To ask questions / discuss about the organization / process of coq-community.

Status: Open.

#118 In rocq-community/manifesto;

· anton-trunov opened on Sep 11, 2020

Change maintainer of project Binary Rational Numbers

change-maintainerWhen a maintainer wants to step down or has become unresponsive.When a maintainer wants to step down or has become unresponsive.

maintainer-wantedThis project is looking for a new maintainer.This project is looking for a new maintainer.

Status: Open.

#112 In rocq-community/manifesto;

· palmskog opened on Aug 19, 2020

Listing and preserving formalized mathematical results in Coq

metaTo ask questions / discuss about the organization / process of coq-community.To ask questions / discuss about the organization / process of coq-community.

Status: Open.

#111 In rocq-community/manifesto;

· palmskog opened on Aug 14, 2020

Special badge(s) for projects available on opam, Nix, etc.

metaTo ask questions / discuss about the organization / process of coq-community.To ask questions / discuss about the organization / process of coq-community.

Status: Open.

#96 In rocq-community/manifesto;

· anton-trunov opened on Feb 7, 2020