v 1.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 2 months ago
mix.exs
rebar.config
erlang.mk
this version
81
yesterday
1
last 7 days
all time
203
Last Updated
Oct 20, 2025
License
Apache-2.0
Build Tools
Publisher
