nanoCoP

MaRDI QIDQ33354swMATHFDO

Official website http://www.leancop.de/nanocop/

Described by source

• nanoCoP: a non-clausal connection prover

Cited in

(21)

• LoTREC
• Machine learning guidance for connection tableaux
• The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics
• Eliminating models during model elimination
• leanCoP
• ileanCoP
• A neurally-guided, parallel theorem prover
• Certification of nonclausal connection tableaux proofs
• QMLTP
• JProver
• leanTAP
• MetTeL
• GQML
• Monte Carlo tableau proof search
• randoCoP
• MleanCoP
• FMLtoHOL
• GAPT
• intuit
• Slakje
• The 9th IJCAR automated theorem proving system competition -- CASC-J9

This page was built for software: nanoCoP