|
|
|
|
Quelle config.yml
Sprache: unbekannt
|
|
blank_issues_enabled: true
contact_links:
- name: Coq Zulip Chat
url: https://coq.zulipchat.com
about: For casual and high traffic discussions. You can ask questions about Coq (#Coq users) or questions about Coq internals (#Coq devs & plugin devs). There are also many streams dedicated to external Coq projects.
- name: Coq Discourse Forum
url: https://coq.discourse.group
about: Our official, multilingual forum, for more structured and easy to search discussions. You can also ask about Coq or internals here, and this is the place to send any announcements.
- name: Proof Assistants Stack Exchange
url: https://proofassistants.stackexchange.com
about: For questions about Coq, Lean, Agda, Isabelle, etc. This is a Q&A site, where numerous Coq users are available to answer questions, but this is not an official Coq forum.
[ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
]
|
2026-03-28
|
|
|
|
|
