coqffi

What happened in October and November 2022? (November 19, 2022, )

Spatial Sway has basically reached the MVP stage, I failed to fully commit to this year’s NaNoWriMo, and someone has worked on adding some support for coqffi to dune.

Implementing an Echo Server in Coq with coqffi.1.0.0 (December 10, 2020)

In this article, we will demonstrate how coqffi can be used to implement an echo server, i.e., a TCP server which sends back any input it receives from its clients.

coqffi.1.0.0 In A Nutshell (December 10, 2020)

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.

If this topic interests you, you may be interested in subscribing to its RSS feed .