Packages

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.

Dependencies of behold

2 dependencies
Package Requirement Status
hol 1.0.2
nimble_parsec ~> 1.4.2

Checksum

Dependency Config

mix.exs

rebar.config

erlang.mk

Package Details

Downloads Last 30 days, 1.1.3
0 20 40 60 80

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

jcschuster jcschuster

Links