Homec4science

Adjust README.md

Authored by abgruszecki on Mon, Nov 9, 10:48.

Description

Adjust README.md

Details

Committed
abgruszeckiMon, Nov 9, 10:48
Pushed
abgruszeckiTue, Nov 17, 19:16
abgruszeckiTue, Nov 10, 16:17
Parents
R9452:5bb567ac194a: Include 'Coq for POPL folk' as a notebook
Branches
Unknown
Tags
Unknown