# KinoAtpClient v0.1.3 - Table of Contents

Provides a Smart Cell for querying external provers on SystemOnTPTP.

## Pages

- [KinoAtpClient](readme.md)
- [Demo of the AtpClient Smart Cells](demo.md)

## Modules

- [KinoAtpClient](KinoAtpClient.md): This package provides custom Smart Cells for connecting to external provers on
SystemOnTptp via the [`atp_client`](https://hexdocs.pm/atp_client) package.
- [KinoAtpClient.Application](KinoAtpClient.Application.md)
- [KinoAtpClient.SystemOnTptp](KinoAtpClient.SystemOnTptp.md): A Smart Cell dedicated to executing TH0/TPTP problems via SystemOnTPTP.

