behold 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.
Links
License
Apache-2.0Downloads
-
8
8
this version -
8
8
yesterday -
10
10
last 7 days -
144
144
all time
Versions (6)
Dependencies (2)
- hol 1.0.2
- nimble_parsec ~> 1.4.2
Recent Activity
- Mar 03, 2026 Publish documentation for release 1.1.3
- Mar 03, 2026 Publish release 1.1.3
- 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
Config
mix.exs
rebar.config
erlang.mk
Checksum
Build Tools
mix
Owners
Publisher
jcschuster