# punctilious
<br />
<div align="center">
<a href="https://github.com/daviddoret/punctilious">
<img src="https://github.com/daviddoret/punctilious/raw/master/branding/punctilious-logo-full-light-600x600-white.png" alt="The punctilious logo" width="300" height="300">
</a>
</div>
<p align="center">
A human-friendly and developer-friendly math proof assistant library.
</p>
## 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:
<p align="center"><a href="https://github.com/daviddoret/punctilious">https://github.com/daviddoret/punctilious</a></p>
## Package directory
The *punctilious* package is available for download from the [Python Package Index (PyPi)](https://pypi.org/) here:
<p align="center"><a href="https://pypi.org/project/punctilious/">https://pypi.org/project/punctilious/</a></p>
## 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:
```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:
<p align="center"><a href="https://punctilious.readthedocs.io/en/latest/">https://punctilious.readthedocs.io/en/latest/</a></p>
## 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:
<p align="center"><a href="https://github.com/daviddoret/punctilious/network/dependencies">Project dependencies</a></p>
Raw data
{
"_id": null,
"home_page": "",
"name": "punctilious",
"maintainer": "",
"docs_url": null,
"requires_python": ">=3.11",
"maintainer_email": "",
"keywords": "math,mathematics,proof,proof assistant,math proof assistant,formal system",
"author": "",
"author_email": "David Doret <david.doret@icloud.com>",
"download_url": "https://files.pythonhosted.org/packages/6c/2e/3c24bad90a2ec8ba8c5d7b294e4f592c777df4223d36a52cd49f57a82885/punctilious-1.0.10.tar.gz",
"platform": null,
"description": "# punctilious\r\n\r\n<br />\r\n<div align=\"center\">\r\n <a href=\"https://github.com/daviddoret/punctilious\">\r\n <img src=\"https://github.com/daviddoret/punctilious/raw/master/branding/punctilious-logo-full-light-600x600-white.png\" alt=\"The punctilious logo\" width=\"300\" height=\"300\">\r\n </a>\r\n</div>\r\n<p align=\"center\">\r\n A human-friendly and developer-friendly math proof assistant library.\r\n</p>\r\n\r\n## About\r\n\r\n*Punctilious* is a *math proof assistant* open-source project developed in python. In straightforward language, it\r\nintends to\r\nfacilitate the study and development of mathematical proofs by human beings.\r\n\r\nThere exists multiple math proof assistants, including:\r\n\r\n* [Coq](https://coq.inria.fr/)\r\n* [Isabelle](https://isabelle.in.tum.de/)\r\n* [Lean](https://leanprover.github.io/)\r\n\r\n...and many more. The [proof assistant](https://en.wikipedia.org/wiki/Proof_assistant) page on Wikipedia contains a\r\ngeneral-purpose comparison of these.\r\n\r\nIn contrast, *punctilious* is a ridiculous [Lilliputian](https://en.wikipedia.org/wiki/Lilliput_and_Blefuscu) with\r\nneither the length, nor the breadth of these time-proven systems.\r\n\r\n### So why develop yet another math proof assistant?\r\n\r\nBesides being a fun and thrilling learning experience, the focus points of *punctilious* are:\r\n\r\n* Human-friendly and developer-friendly inputs (i.e.: write math as we learn it)\r\n* Ease of use\r\n* Human-friendly and developer-friendly outputs (i.e.: readable)\r\n\r\n*Punctilious* does not pay much attention to:\r\n\r\n* Performance (i.e. for large-scale proof applications)\r\n\r\n## Source code repository\r\n\r\nThe source code of the *punctilious* package lives on [GitHub](https://github.com/) here:\r\n<p align=\"center\"><a href=\"https://github.com/daviddoret/punctilious\">https://github.com/daviddoret/punctilious</a></p>\r\n\r\n## Package directory\r\n\r\nThe *punctilious* package is available for download from the [Python Package Index (PyPi)](https://pypi.org/) here:\r\n<p align=\"center\"><a href=\"https://pypi.org/project/punctilious/\">https://pypi.org/project/punctilious/</a></p>\r\n\r\n## Prerequisites\r\n\r\nPython version 3.11 or later.\r\n\r\n## Installation\r\n\r\nInstall the latest version of the *punctilious* package, or upgrade it to the latest version if already installed:\r\n\r\n```console\r\npip install punctilious --upgrade\r\n```\r\n\r\n## Getting started\r\n\r\nA series of samples will be provided soon once we will have published our documentation on ReadTheDocs. Please wait...\r\n\r\n## Documentation\r\n\r\nThe documentation of the *punctilious* package is hosted on [ReadTheDocs](https://docs.readthedocs.io/) here:\r\n<p align=\"center\"><a href=\"https://punctilious.readthedocs.io/en/latest/\">https://punctilious.readthedocs.io/en/latest/</a></p>\r\n\r\n## More links\r\n\r\n* [Roadmap](https://punctilious.readthedocs.io/en/latest/front_matter/roadmap_front_matter.html)\r\n* [Contributing](https://punctilious.readthedocs.io/en/latest/front_matter/contributing_front_matter.html)\r\n* [Project](https://punctilious.readthedocs.io/en/latest/front_matter/project_front_matter.html)\r\n* [License](https://github.com/daviddoret/punctilious/blob/master/LICENSE)\r\n\r\n## Acknowledgments\r\n\r\nWe express our gratitude to the wonderful projects we depend on, and their amazing contributors:\r\n<p align=\"center\"><a href=\"https://github.com/daviddoret/punctilious/network/dependencies\">Project dependencies</a></p>\r\n",
"bugtrack_url": null,
"license": "",
"summary": "A human-friendly and developer-friendly math proof assistant",
"version": "1.0.10",
"project_urls": {
"Bug Tracker": "https://github.com/daviddoret/punctilious/issues",
"Documentation": "https://punctilious.readthedocs.io/en/latest/",
"Homepage": "https://github.com/daviddoret/punctilious",
"Repository": "https://github.com/daviddoret/punctilious"
},
"split_keywords": [
"math",
"mathematics",
"proof",
"proof assistant",
"math proof assistant",
"formal system"
],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "68584ca846ef2f80a2b59c481183f219ca1db5f60d0a59f368f23931d09e3b0d",
"md5": "488b78813bfb29db941925e9de66eb6c",
"sha256": "a933662e2b7ab2e4c239d86e7d3eea801584bf5f37d86ece69c78417b806d829"
},
"downloads": -1,
"filename": "punctilious-1.0.10-py3-none-any.whl",
"has_sig": false,
"md5_digest": "488b78813bfb29db941925e9de66eb6c",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.11",
"size": 133281,
"upload_time": "2023-12-09T22:29:31",
"upload_time_iso_8601": "2023-12-09T22:29:31.995739Z",
"url": "https://files.pythonhosted.org/packages/68/58/4ca846ef2f80a2b59c481183f219ca1db5f60d0a59f368f23931d09e3b0d/punctilious-1.0.10-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "6c2e3c24bad90a2ec8ba8c5d7b294e4f592c777df4223d36a52cd49f57a82885",
"md5": "cbfe3955ca50d66763ccd37ff250220b",
"sha256": "743d36570d92c6bda8279b502117098b6190e1002fc4bf7058958b0840101e4b"
},
"downloads": -1,
"filename": "punctilious-1.0.10.tar.gz",
"has_sig": false,
"md5_digest": "cbfe3955ca50d66763ccd37ff250220b",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.11",
"size": 127325,
"upload_time": "2023-12-09T22:29:34",
"upload_time_iso_8601": "2023-12-09T22:29:34.330388Z",
"url": "https://files.pythonhosted.org/packages/6c/2e/3c24bad90a2ec8ba8c5d7b294e4f592c777df4223d36a52cd49f57a82885/punctilious-1.0.10.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-12-09 22:29:34",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "daviddoret",
"github_project": "punctilious",
"travis_ci": false,
"coveralls": false,
"github_actions": true,
"requirements": [],
"lcname": "punctilious"
}
JSON
