Inicio Explorar Ayuda
Iniciar sesión
taddeus
/
trs
1
0
Fork 0
Archivos Incidencias 0 Pull Requests 0 Wiki
Árbol: dfbc16d4aa
Ramas Etiquetas

Historial de Commits

Autor SHA1 Mensaje Fecha
  Taddeus Kroes efc3c91bf6 Added non-strict equivalence match. hace 14 años
  Taddeus Kroes 2f75e39901 Implemented and tested factor decomposition (expand). hace 14 años
  Taddeus Kroes 8f9717d512 Moved factors rewrite rules to separate file. hace 14 años