[!NOTE]
Releases are less frequently updated than the extension on the marketplace, so you might not always get the latest features.
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.
Requirements
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.
Extension Settings
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.
Known Issues
Nothing right now!
Release Notes
0.1.12
Added import snippets for Nat and List to silence induction hints
Additional indentation rules for lemma, theorem and define
Added option for clearing terminal
0.1.11
More keywords
0.1.10
Fixing spaces in paths
On Windows, add double quotes around the path
On POSIX, prepend spaces with backslashes
0.1.9
Using path to work with paths
0.1.8
Bug fix in indentation with respect to proof
Adding directory of targeted file as a --dir argument
0.1.7
Modifying assume in cases snippets
0.1.6
Highlighting of help and recall keywords
0.1.5
Added highlighting for additional stdlib names
Removed default value of python for deduce-mode.pythonInstallPath
Added snippet for lemmas
0.1.4
Bugfix: Javascript oddness
0.1.3
Made filepaths system independent when searching from deduce.py.
0.1.2
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.
0.1.1
Updated tokenization.
0.1.0
Somewhat usable software: Improved settings and errors, and expanded readme.
0.0.5
Touchups for release on the extension marketplace.
0.0.4
Improved run command and expanded token scopes for variable names and non-unicode operators.
0.0.3
Added support for basic line indentation and a run command.
