behold 1.0.0
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
-
0
0
this version -
0
0
yesterday -
0
0
last 7 days -
0
0
all time
Versions (1)
- 1.0.0 Jan 11, 2026
Dependencies (2)
- hol 1.0.2
- nimble_parsec ~> 1.4.2
Recent Activity
- Jan 11, 2026 Publish documentation for release 1.0.0
- Jan 11, 2026 Publish release 1.0.0
- Jan 11, 2026 Publish documentation for release 1.0.0
- Jan 11, 2026 Publish release 1.0.0
- Jan 11, 2026 Publish documentation for release 1.0.0
- Jan 11, 2026 Publish release 1.0.0
- Jan 11, 2026 Publish documentation for release 1.0.0
- Jan 11, 2026 Publish release 1.0.0
- Jan 11, 2026 Publish documentation for release 1.0.0
- Jan 11, 2026 Publish release 1.0.0
Config
mix.exs
rebar.config
erlang.mk
Checksum
Build Tools
mix
Owners
Publisher
jcschuster