@misc{indiciae8df83b0dd70d,
  title = {Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling},
  author = {Ruanqianqian Huang and Ayana Monroe and Peli de Halleux and Sorin Lerner and Nikolaj Bjørner},
  year = {2025},
  url = {https://arxiv.org/abs/2506.08294},
  note = {Source identifier: 2506.08294}
}