Publications associées au tag programming
Mis à jour plus ou moins fréquemment, quelques réflexions sur la vie, l'univers et le reste.
Publié le 2008-09-02 18:03
Le post qui suit est technique, m'en fous, c'est moi que j'écris c'que j'veux sur eum'blog.BiCoax est une bibliothèque Coq qui définit les constructions de la méthode B selon des constructions Coq. En gros on exprime la sémantique de B via ce que permet Coq, sous la forme d'un plongement léger. C...
Publié le 2008-07-10 15:20
A new version has been released. Go get it!.Une nouvelle version est désormais diffusée. Venez la chercher!
Publié le 2008-06-30 16:29
Hi, I finally decided to share the Makefile for LaTeX I use with the world. See here to learn more about it.Hello, finalement je me suis décidé à partager mon Makefile pour LaTeX avec le reste du monde. Allez sur cette page pour en savoir plus.