Agda proofs for Automata, Complexity, and Computability theory.
Todo
Also check out Zakrok09’s
ts-automataTypeScript package.
Agda proofs for Automata, Complexity, and Computability theory.
Todo
Also check out Zakrok09’s
ts-automataTypeScript package.
3 items under this folder.