@misc{indiciaeb0a2d73a834b,
  title = {Theory-Scale Auto-Formalization of Logics for Computer Science},
  author = {Yuming Feng and Frederick Pu and One An and Osbert Bastani and Li Zhang and Jiani Huang and Xujie Si and Ziyang Li},
  year = {2026},
  url = {https://arxiv.org/abs/2606.26525},
  note = {Source identifier: 2606.26525}
}