Janet: A propositional linear logic theorem prover Install ocamlbuild in order to compile. Then run make and execute the llpa1.native file.