Stats
Updated daily
shot_ds
v1.0.3
Data structures for various HOL objects and TH0 parser.
494
Total
0
Yesterday
39
Last 7 days
behold
v1.1.3
An extention of the package HOL implementing the syntax of classical higher-o...
208
Total
2
Yesterday
4
Last 7 days
atp_client
v0.1.6
Elixir client for automated theorem provers via SystemOnTPTP, StarExec, and I...
95
Total
22
Yesterday
95
Last 7 days
shot_un
v0.1.1
Implements an algorithm for higher-order pre-unification.
83
Total
0
Yesterday
4
Last 7 days
kino_atp_client
v0.1.2
Provides a Smart Cell for querying external provers on SystemOnTPTP.
53
Total
1
Yesterday
53
Last 7 days
kino_shot_ds
v0.1.0
Provides a Smart Cell for parsing TPTP Syntax into ShotDs data structures.
21
Total
0
Yesterday
21
Last 7 days