Spock: Difference between revisions
Created page with 'Spock is an XO activity and pygtk application that implements a simple text editor with an embedded proof verifier. The proof verifier is based on the [http://sites.google.com/a…' |
No edit summary |
||
| Line 10: | Line 10: | ||
done to make the activity friendly to children, and introductory materials are not yet | done to make the activity friendly to children, and introductory materials are not yet | ||
available. | available. | ||
The code is hosted at [http://git.sugarlabs.org/projects/spock]. | |||