An Enumerative Embedding of the Python Type System in ACL2s. - Samuel Xifaras; Panagiotis Manolios; Andrew T. Walter; William Robertson 002 (CoRR, 2025)