jonaloew avatar

Jonathan Löw

jonaloew

Total Packages

1

Total Downloads

203+

jonaloew@gmx.de
Packages Stats

Packages

hol

1.0.2
203+

A higher order logic pre-unification implementation

Last Updated: 5 months ago