fork of ghilbert which is at https://code.google.com/p/ghilbert/
License
jkingdon/ghilbert
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
README for Ghilbert prototype Raph Levien 26 Feb 2010 Here is a prototype of the Ghilbert implementation. You can use the batch verifier as follows: python verify.py peano/peano_thms.gh You can run the web app locally by installing the appengine SDK and running: dev_appserver.py . Then navigating to http://localhost:8080/edit/thmname Save the proof by pressing Ctrl-S, then navigating to: http://localhost:8080/recent The interactive proof tool is, at present, extremly rough. For more details, see http://ghilbert.googlecode.com/ Note: includes the minified JavaScript version of google-diff-match-patch, which is (also) under Apache 2 license. For full attribution, please see: http://code.google.com/p/google-diff-match-patch/
About
fork of ghilbert which is at https://code.google.com/p/ghilbert/
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published