Block or report user
  • Carnegie Mellon University
  • Pittsburgh, PA

Popular repositories

  1. GraphModel

    We formalize aspects of the graph model of type theory

    Lean 5

  2. sequential_colimits

    Lean 3 1

  3. CMU

    This repository contains projects (presentations, notes, etc...) that I do for my PhD

    TeX 1

  4. book

    Forked from HoTT/book

    A textbook on informal homotopy type theory

    TeX 1

  5. Cubical

    Notes on cubical sets

    TeX 1

  6. CategoryTheory_Course

    Documents for the course on Category theory

    TeX 1

106 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

July 2017

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