Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: lattice-identity

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

Related Keywords
automaton 1 congruence 1 congruencer 1 generator 1 haskell 1 identity 1 lattice 1 lattice-identity 1 partitions 1