CoqIOA

Source code for CoqIOA: A Formalization of IO Automata in the Coq Proof Assistant.

If you have any questions about what's in this repository, feel free to contact me at aathalye@mit.edu.

Citation

@mastersthesis{athalye2017coqioa,
    author = {Anish Athalye},
    title = {{CoqIOA}: A Formalization of {IO} {Automata} in the {Coq} {Proof} {Assistant}},
    school = {Massachusetts Institute of Technology},
    year = 2017,
    month = jun
}