Packages

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.

Current section

2 Dependencies

Jump to

Dependencies of behold

2 dependencies
Package Requirement
hol
1.0.2
nimble_parsec
~> 1.4.2

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 5 10 15 20

this version

29

yesterday

0

last 7 days

4

all time

240

Last Updated

Jan 14, 2026

License

Apache-2.0

Build Tools

mix

Publisher

jcschuster jcschuster

Links