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
