blog-static

Files

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

2021-12-02 17:41:36 -08:00

coq_eval_chain_inductive.png

2021-12-02 17:41:36 -08:00

coq_eval_chain_merge.png

2021-12-02 17:41:36 -08:00

coq_eval_empty.png

2021-12-02 17:41:36 -08:00

coq_eval_lists.png

2021-12-02 17:41:36 -08:00

coq_eval_one.png

2021-12-02 17:41:36 -08:00

coq_eval_two.png

2021-12-02 17:41:36 -08:00

index.md

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

thumbnail.png

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