Test lattice identity holding in lattice of congruences of automaton
-
Updated
Jan 14, 2021 - Haskell
Test lattice identity holding in lattice of congruences of automaton
Add a description, image, and links to the lattice-identity topic page so that developers can more easily learn about it.
To associate your repository with the lattice-identity topic, visit your repo's landing page and select "manage topics."