search

coq-community / manifesto

Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
Other
68 stars 6 forks source link

list Pierre Roux as owner #155

Closed palmskog closed 2 months ago

palmskog commented 2 months ago

cc: @anton-trunov