3 Commits

Author	SHA1	Message	Date
Danila Fedorin	68d9cf1274	Update 'evaluator for Dawn in Coq' article to new math delimiters ... Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:57:15 -07:00
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