teddoyle/KripkeTheoremProver
A theorem prover for intuitionistic logic written in Moscol ML
Developer Profile
teddoyle
Discovered public repositories for teddoyle in the GitHub catalog.
teddoyle/HorseRace
JavaScript and HTML 5 horse racing game
teddoyle/DeckOfCards
Public repository.
teddoyle/BinaryMath
Java Application that demonstrates how a computer adds or subtracts four bit integers
teddoyle/Spoon-Knife
This repo is for demonstration purposes only. Comments and issues may or may not be responded to.
teddoyle/Hello-World
Test reposity, my first on github