search

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

Two small typos #44

Closed michalkordyzon closed 2 years ago

michalkordyzon commented 2 years ago

Hello, I have found two small bugs: 1# missing 'i' character in CONTRIBUTING.md 2# print statement giving error in 'Simple Geometry reasoning example' Signed-off-by: Michal Kordyzon michalkordyzon@gmail.com