npm

tptp

Connecting to the TPTP Problem Library

• TPTP
• ATP
• theorem proving
• automated reasoning

mafu

published 1.0.0 • 6 months agopublished 1.0.0 6 months ago

coinpayments

CoinPayments is a cloud wallet solution that offers an easy way to integrate a checkout system for numerous cryptocurrencies. Coinpayments now also offers coin conversion via Shapeshift.io.

• BINGO Entertainment
• Bitcoin
• Bitcoin (Lightning Network)
• Litecoin
• United States Dollar
• Canadian Dollar
• Euro
• Cayman Islands Dollar
• Velas
• Velas (Old Chain)
• Ripple
• Orbit
• ButtCoin
• 0xETH SV
• View more

orahkokos

published 2.2.0 • a year agopublished 2.2.0 a year ago

condet

Condensed Detachment

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

mafu

published 2.0.1 • 2 years agopublished 2.0.1 2 years ago

pl1res

Automated theorem prover for first-order predicate logic based on resolution

• ATP
• first-order predicate logic
• resolution
• automated theorem proving

mafu

published 0.2.0 • 2 years agopublished 0.2.0 2 years ago

autonomous-db

Oracle Autonomous Database connection for Nodejs developers (unofficial)

• node
• autonomous
• oracle
• adw
• atp

pavelsjo

published 1.0.3 • 2 years agopublished 1.0.3 2 years ago

xfn.18.en.vivo.

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

• ATP
• 1000
• BNP
• Paribas
• Open

daviert

published 1.0.1 • 4 years agopublished 1.0.1 4 years ago