Ted's repositories
automated-theorem-provers
Automated Theorem Provers for COMP560
Language:OCaml000
node-red-contrib-opcua
A Node-RED node to communicate OPC UA. Uses node-opcua library.
Language:JavaScriptNOASSERTION000
ProgramsAndProofs
Fall 2014 Final Project for Programs and Proofs Course
Language:Agda000