behold

Hex

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.

Versions collected1

Direct dependencies2From release 1.1.3

Last observed22 Oct, 12:50 UTC

Downloads & popularity

4downloads

1-day window · source-reported counts22 Oct 2026

420

22 Oct22 Oct

hex · 1 observations shown. Missing days are unknown.

View observed values

Date / source period	Value	Observed at
2026-10-22	4	2026-10-22T12:50:52.2983160Z

Versions 1

Collected releases

Version	Published	Direct dependencies	Open version
1.1.3Registry latest	3 Mar 2026	2

Package advisories

No matching advisories collected

This describes our collected data; it is not a security assessment.

Repository

PENDING

jcschuster/behold

Shared repository data · GitHub

License detected in repository: Not collected

Metadata history

Meaningful changes

Current collected state Current

Observed since 20 Oct, 17:42 UTC

No superseded metadata states collected. Unchanged observations do not create new revisions.

Record identity

package:5f8128c85eb3b868ca9e72670913fa0c36438196e2177b3e96d35f1f614da38b