Startsida Utforska Hjälp
Logga in
taddeus
/
trs
1
0
Fork 0
Filer Ärenden 0 Pull-förfrågningar 0 Wiki
Träd: 822e6c4de7
Grenar Taggar

Commit historia

Upphovsman SHA1 Meddelande Datum
  Taddeus Kroes 42662f455b Changed negation precedence to that of subtraction and modified rules+tests correspondingly. 14 år sedan
  Taddeus Kroes efc3c91bf6 Added non-strict equivalence match. 14 år sedan
  Taddeus Kroes 2f75e39901 Implemented and tested factor decomposition (expand). 14 år sedan
  Taddeus Kroes 8f9717d512 Moved factors rewrite rules to separate file. 14 år sedan