Packages
shot_ds
1.0.3
494+
Data structures for various HOL objects and TH0 parser.
Last Updated:
2 days ago
behold
1.1.3
208+
An extention of the package HOL implementing the syntax of classical higher-order logic. Also includes a parser for TPTP TH0 syntax to the internal term representation of HOL.
Last Updated:
1 month ago
atp_client
0.1.6
95+
Elixir client for automated theorem provers via SystemOnTPTP, StarExec, and Isabelle servers.
Last Updated:
2 hours ago
shot_un
0.1.1
83+
Implements an algorithm for higher-order pre-unification.
Last Updated:
2 weeks ago
kino_atp_client
0.1.2
53+
Provides a Smart Cell for querying external provers on SystemOnTPTP.
Last Updated:
2 days ago
kino_shot_ds
0.1.0
21+
Provides a Smart Cell for parsing TPTP Syntax into ShotDs data structures.
Last Updated:
4 days ago