teddoyle/KripkeTheoremProver
A theorem prover for intuitionistic logic written in Moscol ML
JavaScript and HTML 5 horse racing game
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A theorem prover for intuitionistic logic written in Moscol ML
Public repository.
Java Application that demonstrates how a computer adds or subtracts four bit integers
This repo is for demonstration purposes only. Comments and issues may or may not be responded to.