Diffusion coq-project (master) History

R9452/advanced.ipynb
master82508ce68c461cf6cb0e688…

Nov 17 2020

Adjust advanced Coq notebook
82508ce68c46
·• abgruszecki on Nov 17 2020, 19:16.

Nov 9 2020

Include 'Coq for POPL folk' as a notebook
5bb567ac194a
·• abgruszecki on Nov 9 2020, 10:47.