Metadata-Version: 2.4
Name: axiomata
Version: 0.0.1
Summary: Toolkit for mathematical and CS proof, analysis, and reasoning.
Project-URL: Homepage, https://github.com/mikovilla/axiomata
Project-URL: Issues, https://github.com/mikovilla/axiomata/issues
Project-URL: PyPI, https://pypi.org/project/axiomata/
Author-email: Miko Villa <dev@mikovilla.com>
License: MIT
License-File: LICENSE
Keywords: algorithms,analysis,computer-science,discrete-math,education,mathematics,proof,reasoning,theorem
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Developers
Classifier: Intended Audience :: Education
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3
Classifier: Topic :: Education
Classifier: Topic :: Scientific/Engineering :: Mathematics
Requires-Python: >=3.9
Provides-Extra: dev
Description-Content-Type: text/markdown

\# axiomata



Importable modules for mathematical and CS proof, analysis, and reasoning.



\## License



MIT

