Abella Web

Virtual project
Starting…

Keyboard shortcuts

Ctrl/Cmd+Enter
Check to cursor
Ctrl+]
Check next command
Ctrl+[
Undo previous command
Ctrl+Shift+]
Continue checking to the end and focus the editor
Ctrl+Shift+[
Reset the prover
Ctrl+.
Focus and scroll to the checked tip
Ctrl/Cmd+B
Show or hide the project panel
↑/↓ in the project panel
Move through files and folders
→/← in the project panel
Expand or collapse folders, or move to the parent
F2 in the project panel
Rename the selected file
Delete in the project panel
Delete the selected file
Shift+F10
Open the actions menu for the selected file or folder
←/→ in the tab strip
Switch between open files
Ctrl+?
Open this help

The play and step controls check the active .thm tab. Switching tabs does not reset the prover; checking a different theorem does.

On macOS, use Cmd instead of Ctrl for the Ctrl/Cmd shortcuts. The bracket and dot shortcuts use Ctrl on every platform.

GitHub

Use owner/repo, add @branch:folder (branch optional) to narrow the load, or paste any GitHub URL.

GitHub sign-in grants account-wide scopes. repo covers all repositories you can access; use a fine-grained token below for per-repository access.

Use a personal access token instead

Commit changes