Giters

rzach / multseq

M. Ultseq, the genius many-valued sequent theorem prover

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

multseq

Many-valued sequent prover

About

M. Ultseq, the genius many-valued sequent theorem prover

Languages

Language:Prolog 74.3%Language:TeX 25.7%