| Mode | Name | Size | |
|---|---|---|---|
| d--------- | core | 265 | logplain |
| d--------- | frontend | 41 | logplain |
| d--------- | index | 42 | logplain |
| d--------- | infer | 123 | logplain |
| d--------- | normalize | 77 | logplain |
| d--------- | proof | 41 | logplain |
| d--------- | rewrite | 82 | logplain |
| d--------- | search | 78 | logplain |
| d--------- | simplify | 80 | logplain |
| d--------- | strategy | 128 | logplain |
| d--------- | utils | 76 | logplain |
 |
index : ratp | |
| A saturation-based automated theorem prover for first-order logic. |
| aboutsummaryrefslogtreecommitdiff |