Danila Fedorin e1efe0f406 Update theme and add thumbnails where available ...

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>

2026-05-06 18:57:32 -07:00

..

coq_eval_chain_base.png

…

coq_eval_chain_inductive.png

…

coq_eval_chain_merge.png

…

coq_eval_empty.png

…

coq_eval_lists.png

…

coq_eval_one.png

…

coq_eval_two.png

…

index.md

Update 'evaluator for Dawn in Coq' article to new math delimiters

2024-05-13 18:57:15 -07:00

thumbnail.png

Update theme and add thumbnails where available

2026-05-06 18:57:32 -07:00