Original language | English |
---|---|
Publication date | 6 Jul 2020 |
Publication status | Published - 6 Jul 2020 |
Event | The Coq Workshop 2020 - https://coq-workshop.gitlab.io/2020/ Duration: 5 Jul 2020 → 6 Jul 2020 |
Workshop
Workshop | The Coq Workshop 2020 |
---|---|
Location | https://coq-workshop.gitlab.io/2020/ |
Period | 05/07/2020 → 06/07/2020 |