JaredCorduan/charleston-lean-meetup JaredCorduan/charleston-lean-meetup

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Lean
  • Created 6 months ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JaredCorduan/charleston-lean-meetup
github

JaredCorduan

Reviews

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

Repository Details

More Repositories

1

ramsey

Formalization of Ramsey Theory in Lean (work in progress)
Lean
1
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