| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Command-test.hs | 852 | logplain |
| -rw-r--r-- | Command.hs | 5207 | logplain |
| -rw-r--r-- | Object.hs | 1112 | logplain |
| -rw-r--r-- | Parse.hs | 1125 | logplain |
| -rw-r--r-- | README | 0 | logplain |
| -rw-r--r-- | Semantic.hs | 12362 | logplain |
| -rw-r--r-- | Syntactic.hs | 1161 | logplain |
| -rw-r--r-- | Term.hs | 6183 | logplain |
| -rw-r--r-- | Theorem.hs | 398 | logplain |
| -rw-r--r-- | TypeVar.hs | 1864 | logplain |
 |
index : opentheory-transform | |
| Opentheory proof trace optimizer | Jed Barber |
| summaryrefslogtreecommitdiff |