@misc{indiciaeeb146fd8a63f,
  title = {Approximate Axiomatization for Differentially-Defined Functions},
  author = {André Platzer and Long Qian},
  year = {2025},
  url = {https://arxiv.org/abs/2506.08233},
  note = {Source identifier: 2506.08233}
}