- Portland, OR
- https://danilafe.com
- Joined on
2017-09-08
Block a user
826dde759f
Finish a draft of the UCC evaluator article
d1aa966737
Temporarily hide the Coq documentation article, even from drafts.
6c1940f5d2
Get started on a post about a UCC evaluator
30c395151d
Use a different representation of values and prove equivalence of UCC evalutor
d72e64c7f9
Fix Ltac2 bug in Dawn file
abdc8e5056
Cleanup DawnEval.v