2 packages found

M
Q
P

Description

Condensed Detachment

Keywords

Publisher

published 1.0.45 months ago
M
Q
P

Description

Connecting to the TPTP Problem Library

Keywords

Publisher

published 0.5.2a year ago