congruencer

There are 0 repository under congruencer topic.

• pmalex / congruencer

  Test lattice identity holding in lattice of congruences of automaton

  congruencerlatticecongruencegeneratoridentitypartitionslattice-identityautomatonhaskell
  Language:Haskell 3