Homepage Activities Events Blogs Lists Develop Translate Chat
DanKrejsa
no edit summary
14:06
+22
13: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…'
13:34
+685