Packages
shot_ds
1.0.0
376+
Data structures for various HOL objects and TH0 parser.
Last Updated:
1 day ago
behold
1.1.3
202+
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
shot_un
0.1.0
17+
Implements an algorithm for higher-order pre-unification.
Last Updated:
1 day ago