hol

1.0.2

A higher order logic pre-unification implementation

HexDocs HexPreview

Current section

2 Versions

Jump to

Readme 2 Versions 0 Dependencies 1 Dependant Activity

Versions

October 20, 2025

May 15, 2025

Version	Publish Date	Note	Actions
1.0.2	October 20, 2025
1.0.1	May 15, 2025

2 versions of 2 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions

this version

96

yesterday

0

last 7 days

4

all time

225

Last Updated

Oct 20, 2025

License

Apache-2.0

Build Tools

mix

Publisher

Links

GitHub

Owners

jonaloew