Metadata-Version: 2.4
Name: metamath-logic
Version: 0.0.1
Summary: Logic definitions for Metamath projects
Author-email: Mingli Yuan <mingli.yuan@gmail.com>
Maintainer-email: Mingli Yuan <mingli.yuan@gmail.com>
License-Expression: GPL-2.0-or-later
Project-URL: Homepage, https://github.com/epistemic-frontier/metamath-logic
Project-URL: Repository, https://github.com/epistemic-frontier/metamath-logic
Project-URL: Issues, https://github.com/epistemic-frontier/metamath-logic/issues
Keywords: metamath,proof,proof-scaffold,logic
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Developers
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: 3.13
Classifier: Programming Language :: Python :: 3.14
Classifier: Topic :: Software Development :: Build Tools
Requires-Python: >=3.10
Description-Content-Type: text/markdown
Requires-Dist: proof-scaffold==0.0.4
Requires-Dist: metamath-prelude==0.0.1

# metamath-logic

Logic definitions for Metamath projects.

## Migration guide

- [LOGIC_MIGRATION_GUIDE.md](file:///Users/mingli/MetaMath/metamath-logic/docs/LOGIC_MIGRATION_GUIDE.md)
