Explore projects

M

Quentin Aristote / my-tauto

Coq implementation and verification of a decision procedure for intuitionistic tautological properties (MPRI 2.7.2 project).

archived 0

Updated May 30, 2022

archived 0 0 0 0

Updated May 30, 2022
C

Anatole Dahan / CoqHolom

0

Updated Oct 09, 2020

0 0 3

Updated Oct 09, 2020
T

Anatole Dahan / TDs Coq LMFI
GNU Affero General Public License v3.0

0

Updated Oct 09, 2020

0 0 0 0

Updated Oct 09, 2020