Today, I have the great pleasure to tell you that I work on Coq. It implies coq-proof mode, which is actually not...
Mea Culpa. Je suis pas assez motivée pour écrire un vrai article. En même temps, je suis en train de (ré)installer...
Oui, je sais, mon blog n'est plus vraiment tenu à jour. Mais ça vous habitue. Parce que dans moins d'un mois, je...
Studying computer science in TCD appears much more difficult than in UJF. Not that the lectures are harder than...