Homec4science

Include 'Coq for POPL folk' as a notebook

Authored by abgruszecki on Sun, Nov 8, 16:13.

Description

Include 'Coq for POPL folk' as a notebook

Details

Committed
abgruszeckiMon, Nov 9, 10:47
Pushed
abgruszeckiTue, Nov 17, 19:16
abgruszeckiTue, Nov 10, 16:17
Parents
R9452:dd6f828f3525: Merge pull request #3 from lampepfl/improve-2020
Branches
Unknown
Tags
Unknown