Packages

A higher order logic pre-unification implementation

Current section

1 Dependant

Jump to

Packages depending on hol

1 package
  • behold v1.1.3 requires 1.0.2

    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.

    Updated 3 months ago

    123
    recent downloads
1 package of 1 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 1 2 3 4

this version

104

yesterday

2

last 7 days

9

all time

238

Last Updated

Oct 20, 2025

License

Apache-2.0

Build Tools

mix

Publisher

jonaloew jonaloew

Links

Owners