SPLASH 2013 (series) / ACM SRC /
The Poor Man's Proof Assistant: Using Prolog to Develop Formal Language Theoretic Proofs
I am Joey Eremondi, a Masters student in the Department of Computing Science at the University of Utrecht.
I have a B.Sc. Honours in Computer Science, and a B.Sc. 4-year in Mathematics, both from the University of Saskatchewan.
