[de] Rocq 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 Rocq auf Deutsch Kategorie |
|
0 | 693 | February 26, 2019 |
| Natürliches Schließen in Coq |
|
0 | 768 | September 9, 2019 |