Pluto: a first concurrent web server in GallinaPluto is, to our knowledge, the first concurrent web server written in Gallina, the functional language of Coq. It is a research project which aims to apply the pure and dependently typed Coq language to system programming, with inputs/outputs and fine grained concurrency in mind. This kind of programming is particularly error-prone and hard to test, due to non-determinism and interactions with th
