Danila Fedorin 13aef5b3c0 Edit and publish second Coq Dawn article

2021-12-02 18:29:47 -08:00

..

coq_eval_chain_base.png

Add illustrations about evaluation chains

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

coq_eval_chain_inductive.png

Add illustrations about evaluation chains

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

coq_eval_chain_merge.png

Add illustrations about evaluation chains

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

coq_eval_empty.png

Add illustrations about evaluation chains

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

coq_eval_lists.png

Add illustrations about evaluation chains

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

coq_eval_one.png

Add illustrations about evaluation chains

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

coq_eval_two.png

Add illustrations about evaluation chains

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

index.md

Edit and publish second Coq Dawn article

2021-12-02 18:29:47 -08:00