Proposal to move coq-library-complexity to coq-community #150
Labels
coq-library
maintainer-wanted
This project is looking for a new maintainer.
move-project
Move a project to coq-community.
Project name: Coq Library of Complexity proofs
Initial author(s): Fabian Kunze, Lennard Gäher, Maxi Wuttke, Yannick Forster
Current URL: https://github.com/uds-psl/coq-library-complexity
Kind: pure Coq library, formalization of mathematical theorems
License: CeCill 2.1 (but re-licensing to something like MIT or MPL should be possible)
Description: This library contains complexity theory formalised in the Coq proof assistant, developed at Saarland University and initiated by Fabian Kunze. It is built upon the Coq Library of Undecidability Proofs.
Status: not maintained since November 2022 (last version
coq.8.16
)New maintainer: looking for a volunteer
The text was updated successfully, but these errors were encountered: