TY  - RPRT
TI  - An Enumerative Embedding of the Python Type System in ACL2s
AU  - Samuel Xifaras
AU  - Panagiotis Manolios
AU  - Andrew T. Walter
AU  - William Robertson
PY  - 2025
DO  - 10.4204/eptcs.423.11
UR  - https://arxiv.org/abs/2507.19015
ID  - 2507.19015
ER  -