Yann Régis Gianas

icon indicating a website link http://yann.regis-gianas.org

icon location paris, france

Results 63 comments of Yann Régis Gianas

a link to my first-year exercises (not very polished)

@gasche Can I integrate these exercises in the corpus in a directory named `paris8`?

a link to my first-year exercises (not very polished)

Thanks! The static public instance is up again!

Citation instructions for Coq should be up to date and in the README.md

Searching "how to cite the Coq proof assistant?" on Google sends me here. Is this question settled?