Misc

Coq

• A proof in coq version 8.2, done the hard way (apparently it can be done in a much leaner manner). You can also get the source if you want to compile it

More

• An old page with bookmarks (in french).
• Des recettes de cuisine.