@misc{indiciae42c3c2c57818,
  title = {Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations},
  author = {Zhiyao Zhong and Cyrus Omar},
  year = {2025},
  url = {https://arxiv.org/abs/2506.10781},
  note = {Source identifier: 2506.10781}
}