A cute quati.

If the automatic redirect did not work or you, please click here.

Online system for checking permutation of sequent calculus rules.
Developed by: Giselle Reis, Vivek Nigam and Leonardo Lima
Contact: giselle [at] logic [dot] at
Based on the theoretical work: Checking Proof Transformations with ASP [pdf|presentation]- Vivek Nigam, Giselle Reis and Leonardo Lima
This web-interface provides only limited funtionality. The full system can be downloaded here.

1 We are still working on an easy way for you to input your own systems.