A little prover used in CS 245 at the University of Waterloo. DeDuck lets the user program formal-deduction proofs and have them checked by the prover. A VS Code extension provides a simple interface for programming and checking proofs interactively with the prover.
pip install deduck-proverA reference manual of the available axioms and theorems can be found here.
This project is licensed under the MIT License. See the LICENSE file for details.