condet

Condensed Detachment

v2.0.1 URL: https://unpkg.com/condet@2.0.1/index.js

Open Browse Files

condensed detachment modus ponens ATP theorem proving automated reasoning automated deduction logic calculus

tptp

Connecting to the TPTP Problem Library

v1.0.1 URL: https://unpkg.com/tptp@1.0.1/index.js

Open Browse Files

TPTP ATP theorem proving automated reasoning

@iqai/mcp-atp

Mcp server for ATP (IQAI's Agent Tokenization Platform) access

v0.0.8 URL: https://unpkg.com/@iqai/mcp-atp@0.0.8/dist/index.js

Open Browse Files

mcp ATP iqagents

pl1res

Automated theorem prover for first-order predicate logic with equality based on resolution/paramodulation

v1.0.0 URL: https://unpkg.com/pl1res@1.0.0/index.js

Open Browse Files

ATP first-order predicate logic resolution paramodulation automated theorem proving model finding

xfn.18.en.vivo.

this is test module package, please ignore it. this would be remove soon.

v1.0.1 URL: https://unpkg.com/xfn.18.en.vivo.@1.0.1/index.js

Open Browse Files

ATP 1000 BNP Paribas Open