GE2RAT: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Tobias Philipp (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „GE2RAT is a tool written in Haskell that transforms Gaussian elimination steps into a RAT derivation. Datei:New.hs“) |
Tobias Philipp (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
GE2RAT is a tool written in Haskell that transforms Gaussian elimination steps into a RAT derivation. | GE2RAT is a tool written in Haskell that transforms Gaussian elimination steps into a RAT derivation. | ||
[[Datei: | [[Datei:Ge2rat.zip]] | ||
Aktuelle Version vom 10. Mai 2015, 07:57 Uhr
GE2RAT is a tool written in Haskell that transforms Gaussian elimination steps into a RAT derivation.
