Ctrl+P
gaplint-vscode
A VSCode extension for running gaplint. For more information about gaplint, see james-d-mitchell/gaplint.
gaplint