Tweak the notebook further
Description
Description
Details
Details
- Committed
• abgruszecki Nov 30 2021, 20:12 - Pushed
• abgruszecki Nov 30 2021, 20:13 - Parents
- R9452:f44ede4bf23d: Update the Coq workshop for 2021
- Branches
- Unknown
- Tags
Tweak the notebook further
Tweak the notebook further
Authored by • abgruszecki on Nov 30 2021, 20:12.
Tags
None
Subscribers
None