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
We express our gratitude to the wonderful projects we depend on, and their amazing contributors:
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.10-py3-none-any.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | a933662e2b7ab2e4c239d86e7d3eea801584bf5f37d86ece69c78417b806d829 |
|
| MD5 | 488b78813bfb29db941925e9de66eb6c |
|
| BLAKE2b-256 | 68584ca846ef2f80a2b59c481183f219ca1db5f60d0a59f368f23931d09e3b0d |
