Metadata-Version: 2.1
Name: pfsc-examp
Version: 0.23.0
Summary: Example explorers for Proofscape
Home-page: https://github.com/proofscape/pfsc-examp
License: Apache 2.0
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Programming Language :: Python :: 3
Description-Content-Type: text/markdown
License-File: LICENSE
License-File: NOTICE
Requires-Dist: lark067 ==0.6.7
Requires-Dist: displaylang-sympy >=0.10.4
Requires-Dist: displaylang >=0.23.0
Requires-Dist: pfsc-util >=0.22.8
Requires-Dist: Jinja2 <4,>=3.0.3
Requires-Dist: MarkupSafe <3,>=2.0.1
Provides-Extra: dev
Requires-Dist: pytest ; extra == 'dev'
Requires-Dist: build ; extra == 'dev'
Requires-Dist: twine ; extra == 'dev'
Requires-Dist: invoke ; extra == 'dev'

# pfsc-examp

Example explorers for Proofscape.
