JaredCorduan/rubik-group JaredCorduan/rubik-group

  • Stars
    star
    1
  • Language
    Haskell
  • Created over 5 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JaredCorduan/rubik-group
github

JaredCorduan

Reviews

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

Repository Details

Rubik's Cube Group

More Repositories

1

charleston-lean-meetup

Lean
3
star
2

ramsey

Formalization of Ramsey Theory in Lean (work in progress)
Lean
1
star
3

coloring_posets

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

lambda-calc-cofc

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