Meven Lennon-Bertrand's repositories
NbEReadingGroup
A repository for material from the reading group on NbE
AltaCV
Yet another alternative curriculum vitae/résumé class with LaTeX
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
metacoq
Metaprogramming in Coq
Coq-Equations
A function definition package for Coq
cubical
An experimental library for Cubical Agda
EPIT-2020
EPIT 2020 - Spring School on Homotopy Type Theory
kaobook
A LaTeX class for books, reports or theses based on https://github.com/kenohori/thesis and https://github.com/Tufte-LaTeX/tufte-latex.
ophirofox
Une extension pour navigateur qui permet de lire les articles de presse en ligne sur le compte de bibliothèques ayant souscrit à europresse
pelican-svbhack
pelican-svbhack is a responsive theme for Pelican and it is my hack of a svbtle-like theme
platform-docs
A project of short tutorials and how-to guides for Coq features and Coq Platform packages.