EgbertRijke/formally_etale EgbertRijke/formally_etale

  • Stars
    star
    1
  • Language
    TeX
  • Created over 6 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
EgbertRijke/formally_etale
github

EgbertRijke

Reviews

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

Repository Details

More 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

K-theory

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