Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/Roqc/.github/ISSUE_TEMPLATE/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 857 B image not shown  

Quelle  config.yml   Sprache: unbekannt

 
Spracherkennung für: .yml vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

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.105 Sekunden  ]