Quick Help

Basic Navigation

ButtonKey bindingAction
Ctrl+/ or
Ctrl+J/K
Move through the proof.
Ctrl+Enter
Run (or go back) to the current point.
Move focus on specific clicked sentence.
Ctrl+Shift+/ or
Ctrl+Shift+J/K
Move focus on next/previous sentence.
Restart Squirrel, re-initializing document and libraries.

Using the Scratchpad

ButtonKey bindingAction
Show list of pre-loaded files you can load.
then Load a new file from disk. It will be cached for next times.
Ctrl+S Save file in the browser's local storage (with the last name provided, or `untitled.v`).
Ctrl+Shift+S Save file as (prompts for local file name), download to disk.
F1/F2 Respectively toggle Vim/Emacs bindings.
This tool heavily borrows (mainly its style) from the JsCoq. We thank the JsCoq developpers for their precious work!