Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>deduck-prover-vscodeNew to Visual Studio Code? Get it now.
deduck-prover-vscode

deduck-prover-vscode

CS 245

|
143 installs
| (0) | Free
A VS Code extension for viewing and interacting with DeDuck proofs
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

VS Code Extension for the DeDuck Prover

Demo

DeDuck is a little prover designed for CS 245 (Logic and Computation) taught at the University of Waterloo. This Visual Studio Code extension provides a simple interface for interactively programming and checking proofs in a first-order logic system using the DeDuck prover.

The Python package deduck-prover is required to use this extension. It can be installed by running the following command:

pip install deduck-prover
  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft