DanKrejsa
no edit summary
13:06
+22
12:38
+66
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…'
12:34
+685