nanoCoP

MaRDI QIDQ33354swMATHFDO

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

Described by source

• nanoCoP: a non-clausal connection prover

Cited in

(21)

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

This page was built for software: nanoCoP