A human-friendly and developer-friendly math proof assistant library.
Punctilious is a math proof assistant open-source project developed in python. In straightforward language, it intends to facilitate the study and development of mathematical proofs by human beings.
There exists multiple math proof assistants, including:
...and many more. The proof assistant page on Wikipedia contains a general-purpose comparison of these.
In contrast, punctilious is a ridiculous Lilliputian with neither the length, nor the breadth of these time-proven systems.
Besides being a fun and thrilling learning experience, the focus points of punctilious are:
- Human-friendly and developer-friendly inputs (i.e.: write math as we learn it)
- Ease of use
- Human-friendly and developer-friendly outputs (i.e.: readable)
Punctilious does not pay much attention to:
- Performance (i.e. for large-scale proof applications)
The source code of the punctilious package lives on GitHub here:
https://github.com/daviddoret/punctilious
The punctilious package is available for download from the Python Package Index (PyPi) here:
https://pypi.org/project/punctilious/
Python version 3.11 or later.
Install the latest version of the punctilious package, or upgrade it to the latest version if already installed:
pip install punctilious --upgradeA series of samples will be provided soon once we will have published our documentation on ReadTheDocs. Please wait...
The documentation of the punctilious package is hosted on ReadTheDocs here:
https://punctilious.readthedocs.io/en/latest/
We express our gratitude to the wonderful projects we depend on, and their amazing contributors: