Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>deduce-modeNew to Visual Studio Code? Get it now.
deduce-mode

deduce-mode

Calvin Josenhans

|
132 installs
| (1) | Free
Language Support for Deduce
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

deduce-mode

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

Features

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

More to come!

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

Installation

We are now on the marketplace! link

From File

[!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. image

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.

0.0.2

  • Added file icons.

0.0.1

  • Prerelease: Minimal syntax highlighting support.
  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft