behold

v 1.1.3

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.

Online Documentation

Readme 2 Dependencies 0 Dependants Activity Versions

Packages depending on behold

0 packages

No packages depend on behold yet.

Checksum

Dependency Config

mix.exs

rebar.config

erlang.mk

Package Details

Downloads Last 30 days, 1.1.3

this version

29

yesterday

18

last 7 days

19

all time

202

Last Updated

Mar 03, 2026

License

Apache-2.0

Build Tools

mix

Publisher

Links

GitHub

Owners

jcschuster