Stats
Updated daily
shot_ds
v1.0.0
Data structures for various HOL objects and TH0 parser.
376
Total
58
Yesterday
105
Last 7 days
behold
v1.1.3
An extention of the package HOL implementing the syntax of classical higher-o...
202
Total
18
Yesterday
19
Last 7 days
shot_un
v0.1.0
Implements an algorithm for higher-order pre-unification.
17
Total
12
Yesterday
17
Last 7 days