Four-valued Belnap logic, with strong/truth preserving implication, consensus, gullibility operators.
Run dune build to compile, and dune install to install.
Documentation can be built with ocamldoc, or accessed
online.
GNU GPL v3 - see LICENSE for details.