Toggle navigation
Packages
Pricing
Docs
Log in
jonaloew
Total Owned Packages
1
Total Downloads
34
hol
1.0.1
34 Downloads
A higher order logic pre-unification implementation
Jonathan Löw
jonaloew@gmx.de