Today, I have the great pleasure to tell you that I work on Coq. It implies coq-proof mode, which is actually not...
13 Octobre 2011 …
Cedistic © 2014 - Hébergé par Overblog
/http%3A%2F%2Fimg.youtube.com%2Fvi%2FBipvGD-LCjU%2F0.jpg)