b-mehta/exponential-ramsey b-mehta/exponential-ramsey

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language Lean
  • Created over 1 year ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
b-mehta/exponential-ramsey
github

b-mehta

Reviews

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

Repository Details

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

floods

Haskell implementation of Flood-It
Haskell
2
star
6

sunflower

Lean
2
star
7

robot-one

Haskell
2
star
8

mandelbrot

Haskell
1
star
9

cellular-automata

Haskell
1
star
10

advent2018

Solutions to advent of code 2018
Haskell
1
star
11

ExponentialRamsey

Lean
1
star
12

regularity-lemma

Code accompanying submission to ITP 2022
Lean
1
star
13

epfl-comb

EPFL Combinatorics Lean notes
TeX
1
star