VS Code Extension for the DeDuck ProverDeDuck 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
|