Explore projects

P

Alexis Saurin / PF2 LMFI 2024

0

Updated Dec 18, 2024

0 0 0 0

Updated Dec 18, 2024
I

Pascal MOLIN / ical-ufr

0

Updated Dec 17, 2024

0 0 1

Updated Dec 17, 2024
W

Quentin Aristote / Weak distributive laws over powerset monads in categories of algebras

0

Updated Dec 13, 2024

0

Updated Dec 13, 2024
C

cduce / cduce

5

Updated Nov 29, 2024

5 3 1 22

Updated Nov 29, 2024
E

Florian Renkin / ecdbr

0

Updated Nov 19, 2024

0 0 0 0

Updated Nov 19, 2024
M

Quentin Aristote / Monoidal transducers minimization

0

Updated Oct 02, 2024

0 0 0

Updated Oct 02, 2024
T

Pascal MOLIN / tdalgl3

0

Updated Sep 20, 2024

0 0

Updated Sep 20, 2024
C

Alexis Saurin / Coq Lmfi 2023

0

Updated Sep 10, 2024

0 0 0 0

Updated Sep 10, 2024
F

Mo Foughali / FHZ_AEIC-JSA

0

Updated Jun 24, 2024

0 0 0 0

Updated Jun 24, 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
P

Antonino Salibra / pol-nino-buccia

0

Updated Jun 07, 2024

0 0 0 0

Updated Jun 07, 2024
P

Antonio Bucciarelli / problambda

0

Updated Jun 06, 2024

0 0 0 0

Updated Jun 06, 2024
W

Quentin Aristote / Weak distributive laws over stably compact spaces

0

Updated May 13, 2024

0 0 0 0

Updated May 13, 2024
E

Maryline Zhang / Exact abstraction

0

Updated May 13, 2024

0 0 0 0

Updated May 13, 2024
K

Thomas Colcombet / knowledge

0

Updated Mar 10, 2024

0 0 0 0

Updated Mar 10, 2024
G

Emily Clement / Grobner Chains

0

Updated Feb 12, 2024

0 0 0 0

Updated Feb 12, 2024
C

Guillaume Duboc / cduce

0

Updated Feb 01, 2024

0 0 0 0

Updated Feb 01, 2024
A

Sylvain Schmitz / automata-team
CI/CD Catalog project

0

Updated Jan 29, 2024

0 0

Updated Jan 29, 2024
C

aatem / conda-xgp

xeus gp

0

Updated Jan 12, 2024

0 0 0 0

Updated Jan 12, 2024
B

aatem / binder-gp-xeus

0

Updated Jan 08, 2024

0 0 0 0

Updated Jan 08, 2024