Update the Coq workshop for 2021
Description
Description
Details
Details
- Committed
• abgruszecki Nov 29 2021, 19:50 - Pushed
• abgruszecki Nov 29 2021, 19:51 - Parents
- R9452:b3826dceb699: Fix the definition of value
- Branches
- Unknown
- Tags
Update the Coq workshop for 2021
Update the Coq workshop for 2021
Authored by • abgruszecki on Nov 29 2021, 19:50.
Tags
None
Subscribers
None