2 packages found

M
Q
P

Description

A first-order logic proof verifier

Keywords

Publisher

published 0.1.16 years ago
M
Q
P

Description

Types of First-Order Logic formula

Keywords

Publisher

published 0.0.2a year ago