Explore projects

P

Pascal MOLIN / plasma
BSD 3-Clause "New" or "Revised" License

0

Updated Oct 06, 2022

0 0 0 0

Updated Oct 06, 2022
P

Leonard Guetta / PhD-presentation

0

Updated Feb 02, 2021

0 0 0 0

Updated Feb 02, 2021
P

Cristina Serban / parse-smtlib

Parser and well-sortedness checker for version 2.6 of SMT-LIB.

0

Updated Jul 29, 2015

0 0 0 0

Updated Jul 29, 2015
O

Giuseppe Castagna / occurrence-typing

0

Updated Feb 24, 2022

0 0 0 0

Updated Feb 24, 2022
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

Adrien Brochier / moodle

0

Updated Feb 25, 2021

0 0 0 0

Updated Feb 25, 2021
M

Quentin Aristote / Monoidal transducers minimization

0

Updated Jun 13, 2024

0 0 0

Updated Jun 13, 2024
M

Pascal MOLIN / MM1

0

Updated Dec 16, 2019

0 0 0 0

Updated Dec 16, 2019
M

Leonard Guetta / memoire

My PhD dissertation.

0

Updated Feb 12, 2021

0 0 0 0

Updated Feb 12, 2021
M

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

0

Updated Jun 29, 2017

0 0

Updated Jun 29, 2017
M

Thomas Colcombet / mathcommand

0

Updated Jun 10, 2021

0 0 0 0

Updated Jun 10, 2021
M

Reda Chaneb / Manuscrit

0

Updated Jul 01, 2019

0 0 0 0

Updated Jul 01, 2019
L

Pascal MOLIN / lektor-login

0

Updated Aug 30, 2023

0 0 0 0

Updated Aug 30, 2023
L

Pascal MOLIN / lektor-commit

0

Updated Mar 30, 2021

0 0 0 0

Updated Mar 30, 2021
L

Pascal MOLIN / lektor-admin-extra

0

Updated Aug 30, 2023

0 0 0 0

Updated Aug 30, 2023
L

Guillaume Garrigos / L3Optim TP
MIT License

0

Updated Apr 19, 2022

0 0 0 0

Updated Apr 19, 2022
K

Simon Coste / Kuramoto

0

Updated Dec 24, 2022

0 0 0 0

Updated Dec 24, 2022
K

Thomas Colcombet / knowledge

0

Updated Mar 10, 2024

0 0 0 0

Updated Mar 10, 2024
I

Nicolas Behr / ICGT2023-slides

0

Updated Jul 20, 2023

0 0 0 0

Updated Jul 20, 2023
I

Pascal MOLIN / ical-ufr
BSD Zero Clause License

0

Updated Sep 04, 2024

0 0 1

Updated Sep 04, 2024