rooster

Welcome

I am Guillaume Claret, a PhD student in computer science for the πr² team in Paris. Here I post some articles about things I am doing in Coq.