Metadata-Version: 2.5
Name: witsoc
Version: 1.0.2
Summary: Witsoc mathematics domain pack
Author: Witsoc contributors
License: Proprietary
Keywords: mathematics,open-problems,research,verification
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: Topic :: Scientific/Engineering :: Mathematics
Requires-Python: >=3.10
Description-Content-Type: text/markdown

The mathematics domain pack for the Witsoc research architecture. Install it directly only for inspection; the Witsoc skill installs and activates this pinned pack automatically when a mathematical task is routed.