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/
Block or Report
Block or report rmatthes
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
breadthfirstalahofmann
breadthfirstalahofmann PublicBreadth-first traversal following a proposal of Martin Hofmann (1993-1995)
Coq 1
-
UniMath
UniMath PublicForked from UniMath/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Coq
-
TypeTheory
TypeTheory PublicForked from UniMath/TypeTheory
The mathematical study of type theories, in univalent foundations
Coq
-
-
largecatmodules
largecatmodules PublicForked from UniMath/largecatmodules
Large category of modules over monads on top of UniMaths and Display category
Coq
-
coinductiverepofgraphsceliapicard
coinductiverepofgraphsceliapicard PublicCoinductive Representation of Graphs - Code for Celia Picard's PhD thesis
Coq
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.