Tree automata theory in Coq

2020

Code

---

Formalization of basic concepts from tree automata theory.