hol

1.0.2

A higher order logic pre-unification implementation

Current section

Activity

Jump to

Date	Activity
Oct 20, 2025	Publish documentation for release 1.0.2
Oct 20, 2025	Publish release 1.0.2
Oct 20, 2025	Publish documentation for release 1.0.2
Oct 20, 2025	Publish release 1.0.2
May 15, 2025	Publish documentation for release 1.0.1
May 15, 2025	Publish documentation for release 1.0.1
May 15, 2025	Publish release 1.0.1
May 15, 2025	Publish documentation for release 1.0.1
May 15, 2025	Publish release 1.0.1

9 activities of 9 total

mix.exs

rebar.config

Gleam

erlang.mk

Downloads Last 30 days, all versions

this version

yesterday

last 7 days

all time

225

Last Updated

Oct 20, 2025

License

Apache-2.0

Build Tools

mix

Publisher