Discover @JaredCorduan Open Source projects

Jared Corduan (@JaredCorduan)

JaredCorduan

Stars
29
Global Rank 505,517 (Top 18 %)
Followers 48
Following 38
Registered over 13 years ago
Most used languages

TeX
40.0 %

Lean 40.0 %

Haskell
20.0 %
Location 🇺🇸 United States
Country Total Rank 94,186
Country Ranking

Lean 59

Haskell
2,862

TeX
3,233

charleston-lean-meetup

ramsey

Formalization of Ramsey Theory in Lean (work in progress)

coloring_posets

Ph.D. thesis of Jared Corduan - Coloring Posets and Reverse Mathematics

rubik-group

Rubik's Cube Group

lambda-calc-cofc

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