M. Ultseq, the genius many-valued sequent theorem prover - View it on GitHub