EgbertRijke/CMU EgbertRijke/CMU

  • Stars
    star
    1
  • Language
    TeX
  • Created almost 10 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
EgbertRijke/CMU
github

EgbertRijke

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More 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

notes-cubical

Notes on cubical sets
TeX
1
star
7

formally_etale

TeX
1
star