MVL logo


MVL is an OCaml library providing implementations of several common multivalued logic systems.


Module-specific documentation pages:

Build and Installation

Clone the repository from GitHub. MVL uses dune as its build system. Run dune build to compile, and dune install to install.


Source code is available on GitHub.


MVL is free software under the GNU GPL v3. You are free to copy, modify, and distribute MVL under the terms of this license.
Back | Home
Copyright © 2022 Matthew Kukla, <matt.kukla [at]>.