diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-02-17 13:11:17 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-17 10:11:17 -0600 |
| commit | 27e1a5835139d5107010475cb951a1aa1350e7f4 (patch) | |
| tree | bf4b71b0d00b57565e8fb4f306918b4cd77df749 /contrib/get-abc | |
| parent | ed27cf0f854e014922f9690d967c5ff9aa73693c (diff) | |
Using ParseOp in TPTP (#3764)
Diffstat (limited to 'contrib/get-abc')
0 files changed, 0 insertions, 0 deletions