Peter LeFanu Lumsdaine (@peterlefanulumsdaine)
github

peterlefanulumsdaine

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    129
  • Global Rank 172,474 (Top 6 %)
  • Followers 93
  • Following 3
  • Registered over 14 years ago
  • Most used languages
    TeX
         37.5 %
    Coq     37.5 %
    Agda     12.5 %
    Verilog     12.5 %
  • Location 🇸🇪 Sweden
  • Country Total Rank 1,635
  • Country Ranking
    Coq     1
    Agda     6
    Verilog     15
    TeX
         23

Top repositories

1

general-type-theories

A (formalised) general definition of type theories
Coq
56
star
2

palmgren-archive

Research material of Erik Palmgren (1963–2019)
Agda
20
star
3

Oberwolfach-explorations

collaboration on work in progress
Verilog
15
star
4

cartmell-thesis

HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
TeX
14
star
5

hott-limits

A formalization of (homotopy) limits in Homotopy Type Theory
Coq
11
star
6

higher-inductive-paper

Paper in progress
TeX
7
star
7

pllthesis

Fossil record of the growth of my thesis.
TeX
1
star
8

UniMath2017-CategoryTheory

Category theory group projects at UniMath workshop, Birmingham, Dec 2017
Coq
1
star