A human-friendly and developer-friendly math proof assistant
Project description
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 --upgrade
Getting 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
The list of dependencies is being compiled. Please wait...
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Hashes for punctilious-1.0.8-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f1631fc77054873e481d06466122e9407521b7b87f9c5c020d9bb0350dba6fb8 |
|
MD5 | 7ab5479db5dd750cb60951c34501cc45 |
|
BLAKE2b-256 | 2ed7f26416d5459b3de35d09aa499f6e13fe9ded9833fafb890f9587edc24936 |