Topics that don’t fit elsewhere: questions about type theory, links to discuss, comments on Discourse, the Coq community…
Write to coq+miscellaneous@discoursemail.com to start a new topic in this category via e-mail.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Welcome to Discourse | 1 | 1286 | February 10, 2019 | |
| Should other languages than English be allowed on the Discourse forum? | 46 | 4937 | September 12, 2019 | |
| About the Learning category | 1 | 1170 | February 12, 2019 | |
| About the Developing plugins category | 1 | 750 | February 12, 2019 | |
| About the Developing the Coq system category | 1 | 672 | February 12, 2019 |