R9452/advanced.mdmaster
R9452/advanced.md
master
History Graph
History Graph
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
82a0cf06060d | • abgruszecki | Tweak the notebook | Dec 1 2021 | |||
a08ac82a3150 | • abgruszecki | Tweak the notebook further | Nov 30 2021 | |||
f44ede4bf23d | • abgruszecki | Update the Coq workshop for 2021 | Nov 29 2021 | |||
b3826dceb699 | • abgruszecki | Fix the definition of value | Nov 17 2020 | |||
82508ce68c46 | • abgruszecki | Adjust advanced Coq notebook | Nov 17 2020 | |||
5bb567ac194a | • abgruszecki | Include 'Coq for POPL folk' as a notebook | Nov 9 2020 |
c4science · Help