Posts with Tag: programming
Updated more or less frequently, some musings about the life, the universe and the rest.
Posted on 09/02/2008 06:03PM
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...
Posted on 07/10/2008 03:20PM
A new version has been released. Go get it!.Une nouvelle version est désormais diffusée. Venez la chercher!
Posted on 06/30/2008 04:29PM
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.