@misc{indiciae35d4099b0c7c,
  title = {Formalizing Pick's Theorem, efficiently},
  author = {Michael Eisermann},
  year = {2026},
  url = {https://arxiv.org/abs/2603.23095},
  note = {Source identifier: 2603.23095}
}