Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: congruencer
pmalex/congruencer
Test lattice identity holding in lattice of congruences of automaton
Language: Haskell - Size: 15.6 KB - Last synced: 3 months ago - Pushed: over 3 years ago - Stars: 3 - Forks: 0