Tiles

Equivalence between Finite State Automata and Word Tile Systems in Coq: tiles.tar.gz