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.
The source code is made available for interested people, and released under the GPL.
Click outside this box to close it.