# KinoShotDs v0.1.2 - Table of Contents

> Provides a Smart Cell for parsing TPTP Syntax into ShotDs data structures.

## Pages

- [KinoAtpClient](readme.md)
- [Demo of the ShotDs Smart Cell](demo.md)

## Modules

- [KinoShotDs](KinoShotDs.md): This package provides custom a custom Smart Cell for parsing TPTP syntax (raw
formulas or TH0 problems) into the data structures of `shot_ds`.
- [KinoShotDs.TptpParser](KinoShotDs.TptpParser.md): A Smart Cell that can parse either a raw TH0 formula (with an optional
context) or a full TH0 problem file.

