API Reference KinoAtpClient v#0.1.3

Copy Markdown View Source

Modules

KinoAtpClient

This package provides custom Smart Cells for connecting to external provers on SystemOnTptp via the atp_client package.

KinoAtpClient.Application
KinoAtpClient.SystemOnTptp

A Smart Cell dedicated to executing TH0/TPTP problems via SystemOnTPTP.