| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .clang-format | 1258 | logplain |
| -rw-r--r-- | .clang-tidy | 2475 | logplain |
| -rw-r--r-- | .gitignore | 118 | logplain |
| -rw-r--r-- | CMakeLists.txt | 4965 | logplain |
| -rw-r--r-- | LICENSE | 35149 | logplain |
| -rw-r--r-- | README.md | 1480 | logplain |
| d--------- | data | 93 | logplain |
| d--------- | docs | 43 | logplain |
| d--------- | grammar | 35 | logplain |
| d--------- | include / atp | 30 | logplain |
| d--------- | src | 370 | logplain |
| d--------- | tests | 453 | logplain |
 |
index : ratp | |
| A saturation-based automated theorem prover for first-order logic. |
| aboutsummaryrefslogtreecommitdiff |