mn200/inspector-strategies
Verification of Inspector-style Compilations
Developer Profile
mn200
Discovered public repositories for mn200 in the GitHub catalog.
mn200/planning
PhD_project_1
mn200/ordinals-paper
About mechanisations of the ordinals in higher order logic
mn200/ace-jump-mode
a quick cursor jump mode for emacs
mn200/CFL-HOL
Theory of Context-Free Languages in HOL
mn200/Cplusplus
My C++ in HOL semantics
mn200/JSON-SML
JSON parsing in SML (from SML/NJ's svn repo)
mn200/Tasks
Public repository.
mn200/gorilla
Password Gorilla manages passwords