Pecan: An Automated Theorem Prover

Pecan is an automated theorem prover. You can view the manual (which is currently rather incomplete) here. Below, you can enter a program and click "Run" to try out Pecan; there are also a couple of example programs you can try out. There are some limitations: some features of Pecan are not available (e.g., importing automata written as files), and your programs will time out after 5 minutes. If that's too limiting, you should look into installing Pecan on your own computer. Instructions are available at the repository:
Enter a Pecan program below:

This website is written in Prolog