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
File details
Details for the file punctilious-1.0.10.tar.gz.
File metadata
- Download URL: punctilious-1.0.10.tar.gz
- Upload date:
- Size: 127.3 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.11.4
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 743d36570d92c6bda8279b502117098b6190e1002fc4bf7058958b0840101e4b |
|
| MD5 | cbfe3955ca50d66763ccd37ff250220b |
|
| BLAKE2b-256 | 6c2e3c24bad90a2ec8ba8c5d7b294e4f592c777df4223d36a52cd49f57a82885 |
File details
Details for the file punctilious-1.0.10-py3-none-any.whl.
File metadata
- Download URL: punctilious-1.0.10-py3-none-any.whl
- Upload date:
- Size: 133.3 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.11.4
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | a933662e2b7ab2e4c239d86e7d3eea801584bf5f37d86ece69c78417b806d829 |
|
| MD5 | 488b78813bfb29db941925e9de66eb6c |
|
| BLAKE2b-256 | 68584ca846ef2f80a2b59c481183f219ca1db5f60d0a59f368f23931d09e3b0d |
