Popular repositories Loading

1. pedago-rennes pedago-rennes Public

   Forked from InfoSansOrdi/pedago-rennes

   Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes

   TeX

2. CompCert CompCert Public

   Forked from AbsInt/CompCert

   The CompCert formally-verified C compiler

   Coq

3. catalin-hritcu.github.io catalin-hritcu.github.io Public

   Forked from catalin-hritcu/catalin-hritcu.github.io

   Catalin's personal webpage

   SMT

4. doomemacs doomemacs Public

   Forked from doomemacs/doomemacs

   An Emacs framework for the stubborn martian hacker

   Emacs Lisp

5. jeremythibault.github.io jeremythibault.github.io Public

   HTML

6. deriving deriving Public

   Forked from arthuraa/deriving

   Class instances for Coq inductive types with little boilerplate

   Rocq Prover