b-mehta/epfl-comb b-mehta/epfl-comb

  • Stars
    star
    1
  • Language
    TeX
  • Created 3 months ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
b-mehta/epfl-comb
github

b-mehta

Reviews

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

Repository Details

EPFL Combinatorics Lean notes

More Repositories

1

maths-notes

Lecture notes from Cambridge maths
TeX
59
star
2

topos

Topos theory in lean
Lean
55
star
3

combinatorics

Lean
20
star
4

unit-fractions

Lean
14
star
5

exponential-ramsey

Lean
11
star
6

floods

Haskell implementation of Flood-It
Haskell
2
star
7

sunflower

Lean
2
star
8

robot-one

Haskell
2
star
9

mandelbrot

Haskell
1
star
10

cellular-automata

Haskell
1
star
11

advent2018

Solutions to advent of code 2018
Haskell
1
star
12

ExponentialRamsey

Lean
1
star
13

regularity-lemma

Code accompanying submission to ITP 2022
Lean
1
star