JaredCorduan/lambda-calc-cofc JaredCorduan/lambda-calc-cofc

  • Stars
    star
    1
  • Language
    TeX
  • Created about 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JaredCorduan/lambda-calc-cofc
github

JaredCorduan

Reviews

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

Repository Details

a talk given at the College of Charleston introducing the lambda Calculus talk

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

rubik-group

Rubik's Cube Group
Haskell
1
star