GitPod for seqprover/llprover

#gitpod 1 #llprover 1 #prover 1 #seqprover 1

I created two repositories for running seqprover and llprover on GitPod.

They are sequent calculus provers on classical logic and linear logic respectively. They show a proof of your given sequent as a text or a PDF image!

$ ./proof -o pdf
Enter a sequent: ~(p/\q) --> ~p\/ ~q
Enter a sequent: [Enter]

seqprover generates the following proof for the above input.