[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 | Views | Activity | |
---|---|---|---|---|
Über die Coq auf Deutsch Kategorie | 0 | 690 | February 26, 2019 | |
Natürliches Schließen in Coq | 0 | 759 | September 9, 2019 |