2 Commits

Author	SHA1	Message	Date
Danila Fedorin	13aef5b3c0	Edit and publish second Coq Dawn article	2021-12-02 18:29:47 -08:00
Danila Fedorin	b8f9f93537	Add illustrations about evaluation chains	2021-12-02 17:41:36 -08:00