@misc{indiciae953153833515,
  title = {An Enumerative Embedding of the Python Type System in ACL2s},
  author = {Samuel Xifaras and Panagiotis Manolios and Andrew T. Walter and William Robertson},
  year = {2025},
  doi = {10.4204/eptcs.423.11},
  url = {https://arxiv.org/abs/2507.19015},
  note = {Source identifier: 2507.19015}
}