deduCtiOn and abduCtiOn logical reasoner
C++
0
0
Apache License 2.0
Total donated
Undistributed
Share with your subscribers:
Recipients
How the donated funds are distributed
Support the dependencies
Support the repos that depend on this repository
Top contributors
riccardodebenedictis
195 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet