You have reached the Circ online demo page. Please enter your specification in the form below, or chose (and possibly modify) one of the existing specifications. When you are done with editing the specification, click on Run. Upon completion, the proof will be displayed underneath the form.
Note: at the beginning of each example you can uncomment the command (set show details on .) in order to see all the details of the proofs. You can do this by removing the three dashes preceding the command.
Curent folder Examples Cancel