FIX: 1 bug code in CONTRIBUTING.md, 1 bug in print statement in examp…

IBM / LNN

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

https://IBM.github.io/LNN/

Apache License 2.0

226 stars 438 forks source link

Closed michalkordyzon closed 2 years ago

michalkordyzon commented 2 years ago

…les/reasoning.md