until 2005 at LMU München (Germany) first as mathematician then as computer scientist, since then researcher in computer science at CNRS (France)
-
IRIT, Université de Toulouse, CNRS, Toulouse INP, UT3
- Toulouse, France
- https://www.irit.fr/~Ralph.Matthes/
-
UniMath Public
Forked from UniMath/UniMathThis coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Coq Other UpdatedSep 18, 2024 -
largecatmodules Public
Forked from UniMath/largecatmodulesLarge category of modules over monads on top of UniMaths and Display category
Coq UpdatedJun 12, 2024 -
Archive for all Coq related OPAM packages organized in various repositories
OCaml GNU Lesser General Public License v2.1 UpdatedApr 1, 2024 -
platform Public
Forked from coq/platformMulti platform setup for Coq, Coq libraries and tools
Shell Creative Commons Zero v1.0 Universal UpdatedMar 31, 2024 -
TypeTheory Public
Forked from UniMath/TypeTheoryThe mathematical study of type theories, in univalent foundations
Coq UpdatedFeb 8, 2024 -
-
-
unimath.github.io Public
Forked from maggesi/unimath.github.ioVarious websites
HTML UpdatedFeb 15, 2023 -
Skew-Monoidalcategories Public
Forked from amblafont/Skew-MonoidalcategoriesSkew monoidal categories in UniMath with structural strengths
Coq UpdatedAug 8, 2022 -
breadthfirstalahofmann Public
Breadth-first traversal following a proposal of Martin Hofmann (1993-1995)
-
Coinductive Representation of Graphs - Code for Celia Picard's PhD thesis
Coq UpdatedJul 2, 2021 -