Fix the definition of value
Description
Description
Details
Details
- Committed
• abgruszecki Nov 17 2020, 21:46 - Pushed
• abgruszecki Nov 17 2020, 21:46 - Parents
- R9452:82508ce68c46: Adjust advanced Coq notebook
- Branches
- Unknown
- Tags
Fix the definition of value
Fix the definition of value
Authored by • abgruszecki on Nov 17 2020, 21:46.
Tags
None
Subscribers
None