hol

Hex

A higher order logic pre-unification implementation

Versions collected1

Direct dependencies0From release 1.0.2

Last observed21 Oct, 11:35 UTC

Downloads & popularity

361downloads

Cumulative counter · observed snapshots21 Oct 2026

361353.8346.6

21 Oct21 Oct

hex · 1 observations shown. Missing days are unknown. Counter changes are not daily download totals.

View observed values

Date / source period	Value	Observed at
2026-10-21	361	2026-10-21T11:35:27.4572551Z

Collected releases

Version	Published	Direct dependencies	Open version
1.0.2Registry latest	20 Oct 2025	0

No matching advisories collected

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

PENDING

Shared repository data · GitHub

Meaningful changes

Current collected state Current

Observed since 21 Oct, 11:35 UTC

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

package:11d48a86826bba941d5ed2680625f0c041c2a72ea4d0415fb4f7304dd181b80d