Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor

Organizations

@UniMath

Popular repositories

  1. Forked from UniMath/UniMath

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

    Coq

  2. Forked from UniMath/TypeTheory

    The mathematical study of type theories, in univalent foundations

    Coq

  3. Forked from HoTT/HoTT

    Homotopy type theory

    Coq

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

    Coq

2 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

September - December 2020

rmatthes has no activity yet for this period.

August 2020

Created an issue in UniMath/TypeTheory that received 6 comments

Anomaly detected during compilation

After compiling and installing the current UniMath library and installing it, I get the following with Debian 9 (the current version is Debian 10): C…

6 comments

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.