Danila Fedorin 826dde759f Finish a draft of the UCC evaluator article

2021-11-28 16:50:28 -08:00

..

Dawn.v

Fix Ltac2 bug in Dawn file

2021-11-27 23:13:08 -08:00

DawnEval.v

Finish a draft of the UCC evaluator article

2021-11-28 16:50:28 -08:00

DawnV2.v

Use a different representation of values and prove equivalence of UCC evalutor

2021-11-28 01:08:56 -08:00

Ucc.hs

Use a different representation of values and prove equivalence of UCC evalutor

2021-11-28 01:08:56 -08:00