Skip to content
View peterlefanulumsdaine's full-sized avatar
95 followers · 3 following

Achievements

Achievement: Public SponsorAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Public SponsorAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro
Block or Report

Block or report peterlefanulumsdaine

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. UniMath/TypeTheory UniMath/TypeTheory Public

    The mathematical study of type theories, in univalent foundations

    Coq 112 21

  2. HoTT HoTT Public

    Forked from HoTT/Coq-HoTT

    Homotopy type theory

    Coq 2

  3. UniMath UniMath Public

    Forked from UniMath/UniMath

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

    Coq

  4. hott-limits hott-limits Public

    A formalization of (homotopy) limits in Homotopy Type Theory

    Coq 11 1