https://github.com/daviddoret/punctilious
A human-friendly and developer-friendly math proof assistant
https://github.com/daviddoret/punctilious
formal-methods formal-system math mathematics proof proof-assistant proof-assistants
Last synced: 20 days ago
JSON representation
A human-friendly and developer-friendly math proof assistant
- Host: GitHub
- URL: https://github.com/daviddoret/punctilious
- Owner: daviddoret
- License: mit
- Created: 2023-05-03T19:55:07.000Z (almost 3 years ago)
- Default Branch: master
- Last Pushed: 2025-08-27T18:35:12.000Z (8 months ago)
- Last Synced: 2025-12-16T19:28:20.201Z (4 months ago)
- Topics: formal-methods, formal-system, math, mathematics, proof, proof-assistant, proof-assistants
- Language: Python
- Homepage: https://github.com/daviddoret/punctilious
- Size: 58 MB
- Stars: 3
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# 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:
* [Coq](https://coq.inria.fr/)
* [Isabelle](https://isabelle.in.tum.de/)
* [Lean](https://leanprover.github.io/)
...and many more. The [proof assistant](https://en.wikipedia.org/wiki/Proof_assistant) page on Wikipedia contains a
general-purpose comparison of these.
In contrast, *punctilious* is a ridiculous [Lilliputian](https://en.wikipedia.org/wiki/Lilliput_and_Blefuscu) 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](https://github.com/) here:
https://github.com/daviddoret/punctilious
## Package directory
The *punctilious* package is available for download from the
[Python Package Index (PyPi)](https://pypi.org/) here:
https://pypi.org/project/punctilious/
## Prerequisites
Python version 3.12 or later.
## Installation
Install the latest version of the *punctilious* package, or upgrade it to the
latest version if already installed:
```console
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](https://docs.readthedocs.io/) here:
https://punctilious.readthedocs.io/en/latest/
## More links
* [Roadmap](https://punctilious.readthedocs.io/en/latest/front_matter/roadmap_front_matter.html)
* [Contributing](https://punctilious.readthedocs.io/en/latest/front_matter/contributing_front_matter.html)
* [Project](https://punctilious.readthedocs.io/en/latest/front_matter/project_front_matter.html)
* [License](https://github.com/daviddoret/punctilious/blob/master/LICENSE)
## Acknowledgments
We express our gratitude to the wonderful projects we depend on, and their
amazing contributors: