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
Roast topics
Find topics
Find it!
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.
