Documentation on goals of the coq-community organization, the shared contributin

68other

10 months ago

community-drivencoqmanifesto