RobertHarper

RobertHarper's Stars

• HoTT/Coq-HoTT

  A Coq library for Homotopy Type Theory

  Language:Coq1.3k60596195

• UniMath/Foundations

  Voevodsky's original development of the univalent foundations of mathematics in Coq

  Language:Coq24129020

• RedPRL/cooltt

  😎TT

  Language:OCaml2212014314

• andrejbauer/Homotopy

  Homotopy theory in Coq.

  Language:Verilog901118

• favonia/homotopy

  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)

  Language:Agda26552

• peterlefanulumsdaine/Oberwolfach-explorations

  collaboration on work in progress

  Language:Verilog15901