Georgify - SE212

Sublime Text plugin to test proof correctness for the George language used in SE 212.

Usage

• Hot Keys
  • cmd+ctrl+G (Mac) to test your proof
  • windows+ctrl+G (Windows) to test your proof
• Use quick access menu. Find Georgify

Installation (Recommended)

• Use Sublime's Package Manager to install Georgify
  • https://packagecontrol.io/installation

Installation (Manual)

• Open packages dir with Sublime Text -> Preferences -> Browse Packages...
• Download Georgify ZIP by clicking green button on package's root page
  • Save into Sublime's Packages folder
• Unzip file and restart Sublime

Pipeline

• Add to quick access menu
• Add syntax highlighting

Disclaimer

• All the code in the current view is sent to a remote web end-point to be verified

Shout-outs

• Thanks @sahiljain for the syntax highlighting

Support for more editors (SE loves all editors equally ❤️)

• vim users check out @aidenbenner's vim-george
• Atom users check out @ethan-hardy's george-atom