python_formal_semantics Examples and partial specification and examples for formal specification of Python's semantics.