Stats
Data structures for various HOL objects and TH0/1 parser.
Elixir client for automated theorem provers via SystemOnTPTP, StarExec, and I...
Higher-order pre-unification, Miller pattern unification, and second-order ma...
An extention of the package HOL implementing the syntax of classical higher-o...
Livebook Smart Cells for AtpClient: a unified frontend over SystemOnTPTP, Sta...
MCP server exposing the SystemOnTPTP, StarExec, Isabelle and LocalExec theore...
Provides a Smart Cell for parsing TPTP Syntax into ShotDs data structures.
An Elixir implementation of NCPO-LNF (the βη-long-normal Computability Path...