Web-Projects
/
blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
blog-static/code/dawn
History
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