jonaloew avatar

Jonathan Löw

jonaloew

Total Packages

1

Total Downloads

203+

jonaloew@gmx.de
Packages Stats

Stats

Updated daily
hol v1.0.2

A higher order logic pre-unification implementation

0 20 40 60 80
203 Total
1 Yesterday
1 Last 7 days