An Enumerative Embedding of the Python Type System in ACL2s

Samuel Xifaras, Panagiotis Manolios, Andrew T. Walter +1

Python is a high-level interpreted language that has become an industry standard in a wide variety of applications. In this paper, we take a first step towards using ACL2s to reaso…