JaredCorduan/ramsey JaredCorduan/ramsey

  • Stars
    star
    1
  • Language Lean
  • License
    GNU Lesser Genera...
  • Created about 6 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JaredCorduan/ramsey
github

JaredCorduan

Reviews

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

Repository Details

Formalization of Ramsey Theory in Lean (work in progress)

More Repositories

1

charleston-lean-meetup

Lean
3
star
2

coloring_posets

Ph.D. thesis of Jared Corduan - Coloring Posets and Reverse Mathematics
TeX
1
star
3

rubik-group

Rubik's Cube Group
Haskell
1
star
4

lambda-calc-cofc

a talk given at the College of Charleston introducing the lambda Calculus talk
TeX
1
star