Login
From:
danilafe.com
(Uncensored)
subscribe
Formalizing Dawn in Coq
https://danilafe.com/blog/coq_dawn/
links
backlinks
Roast topics
Find topics
Find it!
In this article, we use Coq to write down machine-checked semantics for the untyped concatenative calculus.
