EgbertRijke/OEIS-A000001 EgbertRijke/OEIS-A000001

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language Agda
  • Created about 3 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
EgbertRijke/OEIS-A000001
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

sequential_colimits

Lean
4
star
4

CategoryTheory_Course

Documents for the course on Category theory
TeX
3
star
5

CMU

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

notes-cubical

Notes on cubical sets
TeX
1
star
7

formally_etale

TeX
1
star
8

K-theory

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