Egbert Rijke (@EgbertRijke)
github

EgbertRijke

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    381
  • Global Rank 70,572 (Top 3 %)
  • Followers 124
  • Following 2
  • Registered over 12 years ago
  • Most used languages
    TeX
         50.0 %
    Lean     25.0 %
    Agda     25.0 %
  • Location 🇸🇮 Slovenia
  • Country Total Rank 53
  • Country Ranking
    Agda     1
    Lean     1
    TeX
         11

Top repositories

1

HoTT-Intro

An introductory course to Homotopy Type Theory
Agda
355
star
2

GraphModel

We formalize aspects of the graph model of type theory
Lean
7
star
3

OEIS-A000001

Agda
5
star
4

sequential_colimits

Lean
4
star
5

CategoryTheory_Course

Documents for the course on Category theory
TeX
3
star
6

CMU

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

notes-cubical

Notes on cubical sets
TeX
1
star
8

formally_etale

TeX
1
star