Giters
Ralph Matthes (rmatthes)

rmatthes

Geek Repo

14

followers

1

following

1

stars

Company:IRIT, Université de Toulouse, CNRS, Toulouse INP, UT3

Location:Toulouse, France

Home Page:https://www.irit.fr/~Ralph.Matthes/

Github PK Tool:Github PK Tool

Organizations
UniMath

Ralph Matthes's repositories

breadthfirstalahofmann

Breadth-first traversal following a proposal of Martin Hofmann (1993-1995)

Language:CoqLicense:GPL-3.0Stargazers:1Issues:2Issues:0

coinductiverepofgraphsceliapicard

Coinductive Representation of Graphs - Code for Celia Picard's PhD thesis

Language:CoqStargazers:0Issues:0Issues:0

GrpdHITs

Language:CoqStargazers:0Issues:0Issues:0

HoTT

Homotopy type theory

Language:CoqLicense:NOASSERTIONStargazers:0Issues:0Issues:0

largecatmodules

Large category of modules over monads on top of UniMaths and Display category

Language:CoqStargazers:0Issues:0Issues:0

opam

Archive for all Coq related OPAM packages organized in various repositories

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

platform

Multi platform setup for Coq, Coq libraries and tools

Language:ShellLicense:CC0-1.0Stargazers:0Issues:0Issues:0

SetHITs

Language:CoqStargazers:0Issues:0Issues:0

Skew-Monoidalcategories

Skew monoidal categories in UniMath with structural strengths

Language:CoqStargazers:0Issues:0Issues:0

TypeTheory

The mathematical study of type theories, in univalent foundations

Language:CoqStargazers:0Issues:1Issues:0

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Language:CoqLicense:NOASSERTIONStargazers:0Issues:2Issues:0

unimath.github.io

Various websites

Language:HTMLStargazers:0Issues:0Issues:0