[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 |