Pinned Repositories
charleston-lean-meetup
CIPs
coloring_posets
Ph.D. thesis of Jared Corduan - Coloring Posets and Reverse Mathematics
lambda-calc-cofc
a talk given at the College of Charleston introducing the lambda Calculus talk
ramsey
Formalization of Ramsey Theory in Lean (work in progress)
rubik-group
Rubik's Cube Group
JaredCorduan's Repositories
JaredCorduan/CIPs
JaredCorduan/charleston-lean-meetup
JaredCorduan/coloring_posets
Ph.D. thesis of Jared Corduan - Coloring Posets and Reverse Mathematics
JaredCorduan/lambda-calc-cofc
a talk given at the College of Charleston introducing the lambda Calculus talk
JaredCorduan/ramsey
Formalization of Ramsey Theory in Lean (work in progress)
JaredCorduan/rubik-group
Rubik's Cube Group
JaredCorduan/agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
JaredCorduan/cardano-api
Cardano API
JaredCorduan/haskell-vending-machine
Haskell implementation of a hypothetical Vending Machine modeled as a State Transition System.
JaredCorduan/JaredCorduan.github.io
personal website
JaredCorduan/dungeon_world_notes
JaredCorduan/jucs
jared's unofficial cardano scratchpad
JaredCorduan/mathlib
Lean mathematical components library
JaredCorduan/nkeys.py
NATS Keys for Python
JaredCorduan/pigeon-talk
slides for a talk given at the College of Charleston on 1st February 2018
JaredCorduan/rush_hour_solver
A command line utility to solve Rush Hour puzzles.
JaredCorduan/sandbox
:alembic:
JaredCorduan/teXnoCrat
This is a quickstart LaTeX setup.
JaredCorduan/theorem_proving_in_lean
Theorem proving in Lean