R9452/advanced.ipynb
masterb3826dceb6994b691d5ab1c…

Nov 17 2020

Fix the definition of value
b3826dceb699
·• abgruszecki on Nov 17 2020, 21:46.
Adjust advanced Coq notebook
82508ce68c46
·• abgruszecki on Nov 17 2020, 19:16.