Tag: .p9
Found 1 extensions tagged with ".p9".
.p9 related extensions
-
Prover9 Syntax Highlight 0.0.3 VSIX File for VS Code New!
Prover9 is a resolution/paramodulation automated theorem prover for first-order and equational logic. ...
Found 1 extensions tagged with ".p9".
