The LOGIC DAEMON

Enter a sequent you will attempt to prove
Premises (comma separated) Conclusion

Enter your proof below then



You can apply primitive rules in a short form using "do" statements

[Restart] [Example] [Credits]