Metadata-Version: 2.1
Name: rigorous
Version: 0.0.1
Summary: A Python interpreter based on a formal semantics for Python.
Home-page: https://dgit.cs.uni-saarland.de/koehlma/rigorous-python
Author: Maximilian Köhl
Author-email: mkoehl@cs.uni-saarland.de
Requires-Python: >=3.8,<4.0
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.8
Provides-Extra: cli
Requires-Dist: click (>=7.0,<8.0); extra == "cli"
Project-URL: Repository, https://dgit.cs.uni-saarland.de/koehlma/rigorous-python
Description-Content-Type: text/x-rst

Rigorous Python
===============

A Python interpreter based on a formal semantics for Python.

