Domů Procházet Nápověda
Přihlásit se
pgimeno
/
FormalTheory
Sledovat 1
Oblíbit 0
Rozštěpit 0
Soubory Pull Requesty 0
Větev: master
Větve Značky

Historie revizí

Autor SHA1 Zpráva Datum
  Kendall Hopkins 25fa26a92a Implement FA reverse. před 12 roky
  Kendall Hopkins c2719b939b Tweak README a bit. před 12 roky
  Kendall Hopkins 4f1f0e3172 Update README with latest changes. před 12 roky
  Kendall Hopkins fb7731d6ea Implement subset and superset checks. před 12 roky
  Kendall Hopkins 825d21f65c Implement DFA solution counting. před 12 roky
  Kendall Hopkins 7278e54c6c Update README.md. před 12 roky
  Kendall Hopkins 14ac6b922c Add README.md. před 12 roky