Composition Prover

This page contains a simple web interface for Richard Smith's GSiril touch proving program. Here are some notes on why and how this has been achieved.

Enter the composition in the box below in the MicroSiril or GSiril language and click "Prove".

Input

Output

...