punctilious
A human-friendly and developer-friendly math proof assistant library.
About
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.
So why develop yet another math proof assistant?
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)
Source code repository
The source code of the punctilious package lives on GitHub here:
https://github.com/daviddoret/punctilious
Package directory
The punctilious package is available for download from the Python Package Index (PyPi) here:
https://pypi.org/project/punctilious/
Prerequisites
Python version 3.11 or later.
Installation
Install the latest version of the punctilious package, or upgrade it to the latest version if already installed:
pip install punctilious --upgradeGetting started
A series of samples will be provided soon once we will have published our documentation on ReadTheDocs. Please wait...
Documentation
The documentation of the punctilious package is hosted on ReadTheDocs here:
https://punctilious.readthedocs.io/en/latest/
More links
Acknowledgments
We express our gratitude to the wonderful projects we depend on, and their amazing contributors: