[de] Coq auf Deutsch


Ankündigungen Hier können neue Pakete, Projekte, Stellenangebote und (deutschsprachige) Veranstaltungen wie Konferenzen oder Workshops angekündigt werden.
Topic Replies Activity
Über die Coq auf Deutsch Kategorie 1 February 26, 2019
Natürliches Schließen in Coq 1 September 9, 2019