deduce-mode exists to moderately improve the experience of writing Deduce in VS Code.

• Syntax Highlighting
• File icons
• Line Indentation
• Autorun
• Snippets

More to come!

• Configuration for deduce command line flags
• Semantic Highlighting
• Auto-formatter

We are now on the marketplace! link

• To get the extension, download the latest .vsix file from releases and put it somewhere you'll remember. You can then add it as an extension in vscode.

Preferably you will have installed Deduce and Python 3.10+, otherwise the extension is not of much use to you. 😃

If the ms-python.python extension is installed, and you have not set a Python path to use for deduce, then the extension will attempt to use a Python environment provided by that extension.

This extension contributes the following settings:

• deduce-mode.pythonInstallPath: The location of the Python executable you want to run Deduce with. Default python.
• deduce-mode.deduceInstallPath: The location of your deduce.py file.
• deduce-mode.libraryPaths: An array of folders to use with deduce's --dir option. Defaults to deduce's lib folder.
• deduce-mode.clearTerminal: Whether you want deduce to clear old output before running the current file.

• Nothing right now!

• Yet more keywords

• Remove secret

• Update keywords

• Added import snippets for Nat and List to silence induction hints
• Additional indentation rules for lemma, theorem and define
• Added option for clearing terminal

• More keywords

• Fixing spaces in paths
  • On Windows, add double quotes around the path
  • On POSIX, prepend spaces with backslashes

• Using path to work with paths

• Bug fix in indentation with respect to proof
• Adding directory of targeted file as a --dir argument

• Modifying assume in cases snippets

• Highlighting of help and recall keywords

• Added highlighting for additional stdlib names
• Removed default value of python for deduce-mode.pythonInstallPath
• Added snippet for lemmas

• Bugfix: Javascript oddness

• Made filepaths system independent when searching from deduce.py.

• Deduce mode now looks for deduce.py in the active workspace.
• Support for multiple and custom library directories.
• Added snippets for common induction and case patterns.
• Tokenization patches.

• Updated tokenization.

• Somewhat usable software: Improved settings and errors, and expanded readme.

• Touchups for release on the extension marketplace.

• Improved run command and expanded token scopes for variable names and non-unicode operators.

• Added support for basic line indentation and a run command.

• Added file icons.

• Prerelease: Minimal syntax highlighting support.