Popular repositories Loading

1. JeremyDubut.github.io JeremyDubut.github.io Public

   My webpage

   HTML

2. fiches fiches Public

   Python

3. phd-thesis phd-thesis Public

   Source code of my PhD thesis manuscript

   TeX

4. zoocpp zoocpp Public

   Elaboration zoo in C++

   C++

5. europroofnet.github.io europroofnet.github.io Public

   Forked from EuroProofNet/europroofnet.github.io

   Sources of the EuroProofNet web site.

   Ruby

6. coq-hol-light-real-with-N coq-hol-light-real-with-N Public

   Forked from Deducteam/coq-hol-light-real-with-N

   Translation in Coq of the HOL-Light definition of real numbers using binary natural numbers

   Coq