behold 1.1.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.
Links
License
Apache-2.0Downloads
-
19
19
this version -
0
0
yesterday -
7
7
last 7 days -
134
134
all time
Versions (5)
Dependencies (2)
- hol 1.0.2
- nimble_parsec ~> 1.4.2
Recent Activity
- Feb 16, 2026 Publish documentation for release 1.1.2
- Feb 16, 2026 Publish release 1.1.2
- Feb 16, 2026 Publish documentation for release 1.1.2
- Feb 16, 2026 Publish release 1.1.2
- Feb 13, 2026 Publish documentation for release 1.1.1
- Feb 13, 2026 Publish release 1.1.1
- Jan 21, 2026 Publish documentation for release 1.1.0
- Jan 21, 2026 Publish release 1.1.0
- Jan 21, 2026 Publish documentation for release 1.1.0
- Jan 21, 2026 Publish release 1.1.0
Config
mix.exs
rebar.config
erlang.mk
Checksum
Build Tools
mix
Owners
Publisher
jcschuster