Explore projects

N

Pierre Letouzey / natded
Creative Commons Zero v1.0 Universal

Coq encoding of Natural Deduction, flavour of Predicate Calculus, up to completeness theorem

0

Updated Jun 12, 2024

0 0 0 0

Updated Jun 12, 2024
M

Raphaël Cauderlier / math_transfer
CeCILL-B Free Software License Agreement

0

Updated Jun 29, 2017

0 0

Updated Jun 29, 2017
U

Raphaël Cauderlier / univalence-elim

0

Updated Jul 19, 2020

0 0 0 0

Updated Jul 19, 2020
C

Pierre Letouzey / cours-preuves

Documents pour le cours de Preuves de M1 (ou celui du M2 LMFI)

0

Updated Apr 10, 2020

0 0 0 0

Updated Apr 10, 2020
S

Raphaël Cauderlier / Sigmaid
CeCILL-B Free Software License Agreement

0

Updated Oct 07, 2020

0 0 0 0

Updated Oct 07, 2020
C

Pierre Letouzey / coq-lmfi

Cours de Coq au M2 LMFI (partie 1 programmation fonctionnelle + partie 2 preuves formelles)

0

Updated May 24, 2023

0 0 0 0

Updated May 24, 2023
C

Alexis Saurin / Coq Lmfi 2023

0

Updated Sep 10, 2024

0 0 0 0

Updated Sep 10, 2024
P

Alexis Saurin / PF2 LMFI 2024

0

Updated Nov 06, 2024

0 0 0 0

Updated Nov 06, 2024