v1.0.2
A higher order logic pre-unification implementation
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.
Published 3 months ago
mix.exs
rebar.config
Gleam
erlang.mk
this version
86
yesterday
0
last 7 days
all time
211
Last Updated
Oct 20, 2025
License
Apache-2.0
Build Tools
Publisher
