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 |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
Spock is an XO activity and pygtk application that implements a simple text editor 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 | an embedded proof verifier. The proof verifier is based on (an older version of) the | ||
[http://sites.google.com/a/ghilbert.org/ghilbert/home Ghilbert] proof language, | [http://sites.google.com/a/ghilbert.org/ghilbert/home Ghilbert] proof language, | ||
with some modest extensions. Ghilbert in turn is inspired by the | with some modest extensions. Ghilbert in turn is inspired by the | ||
| 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]. | |||