Explore projects
-
Cours de Coq au M2 LMFI (partie 1 programmation fonctionnelle + partie 2 preuves formelles)
Updated -
Updated
-
aatem / binder-julia
MIT LicenseUpdated -
Updated
-
Updated
-
Pascal MOLIN / binder-test
MIT LicenseUpdated -
aatem / binder-template
MIT LicenseUpdated -
Updated
-
Pascal MOLIN / plasma
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
Tommaso Petrucciani / setvariants
CeCILL-B Free Software License AgreementPrototype implementation of a mini-ML language with polymorphic variants and pattern matching using set-theoretic types.
Updated -
Documents pour le cours de programmation fonctionnelle (M2 LMFI)
Updated -
Updated
-
Pierre Letouzey / natded
Creative Commons Zero v1.0 UniversalCoq encoding of Natural Deduction, flavour of Predicate Calculus, up to completeness theorem
Updated -
Guillaume Garrigos / L3Optim TP
MIT LicenseUpdated -
Decision procedure for SL used in specification of memory allocators
Updated -
Updated