This package provides custom Smart Cells for connecting to external provers on
SystemOnTptp via the atp_client package.
Usage
Install the package with Mix.install([{:kino_atp_client, "~> 0.1"}]) in your
Livebook. After that, SystemOnTPTP will be available as a Smart Cell.