KinoAtpClient
v0.1.1
Search documentation of KinoAtpClient
Default
Default
In-browser search
Settings
KinoAtpClient.
SystemOnTptp
(KinoAtpClient v0.1.1)
Copy Markdown
View Source
A Smart Cell dedicated to executing TH0/TPTP problems via SystemOnTPTP.
Summary
Functions
child_spec(map)
Functions
child_spec(map)