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)
Prerequisites
Python 3.11
Installation
We are just in the process of publishing punctilious on PyPI. Please wait...
Getting started
Many samples will be provided soon once we will have published our documentation on ReadTheDocs. Please wait...
Documentation
Punctilious documentation lives on ReadTheDocs.
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.0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6c343fb89fb9fc2f741eae10c589504bac4db656469341cb23e3fa056d8e7a01 |
|
MD5 | 55f521d66e1043047cd0b82184db0629 |
|
BLAKE2b-256 | 9932052d43453aab195f8a9d7691189fe745a3bd11d30ea0bb4c18368791aaa5 |