Scott Fenton's repositories
metamath-nf
New Foundations set theory developed in metamath
completeness
An automatic prover for tautologies in Metamath
bluegreen
Simple demo code for Blue Green Deployments
Language:JavaScript000
drule-search
Search program to find shorted D-rule style proofs in propsitional calculus
Language:ClojureMIT000
Language:PythonGPL-2.0000
openshift-workshops
:notebook: Don't just read about what OpenShift 3 can do - try it for yourself with these workshops