Type or paste code into the editor to the left,
or open a file from your device.
Then click the big blue button to prove.
This page contains a simple web interface for Richard Smith’s GSiril touch proving program.
- a code editor that supports syntax highlighting;
- some code to join these two things together.
The source code is made available for interested people, and released under the GPL.
Click outside this box to close it.