Miles Rout

Contact Me

You can contact me at miles.rout@gmail.com.

Links

• milesrout on GitHub
• qed, where you will find my work-in-progress proof assistant and programming language for constructive Morse set theory written in Haskell.
• Minimal logic, where you will find a proof checker for minimal propositional logic written in Haskell for my Honours project, using advanced Haskell type system techniques to prevent the representation of structurally invalid proofs, and a minimal propositional Kripke model checker also written in Haskell.
• Visp, a simple Lisp written in Python, with macros, using substitution to evaluate (not metacircular, but does use the Python stack).
• milesrout:sceptre, a fun little automatic theorem prover for minimal propositional logic written in Racket.
• milesrout:~/.vim—be sure to use --recurse-submodules to clone this.