manifesto
Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
68 stars
11 watching
6 forks
last commit: 5 months ago
Linked from 1 awesome list
community-drivencoqmanifesto
Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.