Login
From:
Thomas Letan’s website
(Uncensored)
subscribe
coqffi.1.0.0 In A Nutshell · ~lthms
https://soap.coffee/~lthms/posts/Coqffi-1-0-0.html
links
backlinks
For each entry of a cmi file, coqffi tries to generate an equivalent (from the extraction mechanism perspective) Coq definition. In this article, we walk through how coqffi works.
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
