jonaloew avatar

Jonathan Löw

jonaloew

Total Packages

1

Total Downloads

211+

jonaloew@gmx.de
Packages Stats

Stats

Updated daily
hol v1.0.2

A higher order logic pre-unification implementation

0 20 40 60 80
211 Total
0 Yesterday
0 Last 7 days