v 1.0.2
A higher order logic pre-unification implementation
hol has no dependencies.
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
