Propositional logic library for Nim.
nimble install propositionalLogic
You can refer the documentation of this libary here.
Note that only the docs of the latest version of this library is available online.
For uses need to read docs for older versions of this library, download source code
from releases and
build with nimble by yourself.
Also, test programs could be additional examples of how to use this library.
MIT