| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | index.ts | 4282 | logplainblame |
| -rw-r--r-- | nat.ts | 323 | logplainblame |
| -rw-r--r-- | tests.ts | 1932 | logplainblame |
| -rw-r--r-- | util.ts | 1439 | logplainblame |
 |
index : ts-theorem-provinator | |
| Experiment to use typescripts type system for theorem proving |
| aboutsummaryrefslogtreecommitdiff |