Block or report user

Popular repositories

  1. catlog

    Categorical logic from a categorical point of view

    TeX 27 7

  2. HoTT

    Forked from HoTT/HoTT

    Homotopy type theory

    Coq 10 3

  3. hott-categories

    Categories and the Rezk completion formalized in HoTT

    TeX 5

  4. cohesivett

    Cohesive type theory

    TeX 5 1

  5. basictex

    My basic LaTeX macros and BibTeX file.

    TeX 3 1

  6. dirtt

    Directed type theory for formal category theory

    TeX 3 1

83 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

June 2017

Created a pull request in HoTT/HoTT that received 5 comments

Rigid types and automorphisms of the universe

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