coq
forked from coq/coq
Star 1
Fork 0
Watch
coq CODE_OF_CONDUCT.md
122 B · 3 lines
Markdown
at master

Code of Conduct #

This project has adopted the Rocq Code of Conduct.