- What happened in October and November 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
Implementing an Echo Server in Coq with
In this article, we will demonstrate how
coqffican 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.0In A Nutshell (
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.
Hi, I’m Thomas Letan (lthms) (he/him).
You read something which caught your attention and you are interested in starting a discussion? Don’t hesitate to shoot me an email.