Metadata-Version: 2.4
Name: deduck-prover
Version: 0.2.1
Summary: A little prover for CS 245 at the University of Waterloo
Project-URL: Repository, https://github.com/deduck-prover/deduck.git
Author: Yizhou Zhang
License-Expression: MIT
License-File: LICENSE
Classifier: Development Status :: 4 - Beta
Classifier: Intended Audience :: Education
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.7
Classifier: Topic :: Education
Classifier: Topic :: Scientific/Engineering :: Mathematics
Requires-Python: >=3.7
Requires-Dist: lark>=0.12.0
Description-Content-Type: text/markdown

<p align="center">
  <img src="assets/deduck.png" alt="DeDuck Logo" width="200"/>
</p>

# The DeDuck Prover

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](https://github.com/deduck-prover/deduck-vscode) provides a simple interface for programming and checking proofs interactively with the prover.

## Installation

```bash
pip install deduck-prover
```

## Documentation
A reference manual of the available axioms and theorems can be found [here](docs/rules_usage.md).

## License

This project is licensed under the MIT License. See the LICENSE file for details.
