Egbert Rijke (@EgbertRijke)
github

EgbertRijke

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    389
  • Global Rank 71,927 (Top 3 %)
  • Followers 134
  • Following 2
  • Registered almost 13 years ago
  • Most used languages
    TeX
         55.6 %
    Lean     22.2 %
    Agda     22.2 %
  • 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
358
star
2

GraphModel

We formalize aspects of the graph model of type theory
Lean
8
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
2
star
7

notes-cubical

Notes on cubical sets
TeX
1
star
8

formally_etale

TeX
1
star
9

K-theory

This project is about formalizing some results in K-theory in homotopy type theory.
TeX
1
star