Eric Spencer
Projects
Miscellaneous
Formal Methods
Web Based TLA+ Microwave
An interactive microwave in the browser to learn TLA+
coq Presentation
The formal methods language