v1.0.2
A higher order logic pre-unification implementation
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
