name: punctilious
description: A human-friendly and developer-friendly math proof assistant
license_spdx: MIT
version: 1.0.5
spec_version: 1.0
home_url: https://github.com/daviddoret/punctilious
news_url: https://libraries.io/pypi/punctilious/versions.atom
date: 2023-09-12
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/punctilious?number=1.0.5
