Explore projects

P

Alexis Saurin / PF2 LMFI 2024

0

Updated Oct 02, 2024

0 0 0 0

Updated Oct 02, 2024
C

Alexis Saurin / Coq Lmfi 2023

0

Updated Sep 10, 2024

0 0 0 0

Updated Sep 10, 2024
N

Pierre Letouzey / natded

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
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
S

Raphaël Cauderlier / Sigmaid

0

Updated Oct 07, 2020

0 0 0 0

Updated Oct 07, 2020
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
M

Raphaël Cauderlier / math_transfer

0

Updated Jun 29, 2017

0 0

Updated Jun 29, 2017