Domů Procházet Nápověda
Přihlásit se
taddeus
/
trs
1
0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Strom: d2cfb91dbd
Větve Značky

Historie revizí

Autor SHA1 Zpráva Datum
  Taddeus Kroes efc3c91bf6 Added non-strict equivalence match. před 14 roky
  Taddeus Kroes 2f75e39901 Implemented and tested factor decomposition (expand). před 14 roky
  Taddeus Kroes 8f9717d512 Moved factors rewrite rules to separate file. před 14 roky