@misc{indiciae5bf8467996b9,
  title = {Certification of Bilateral Patience Sort in Theorema and Rocq},
  author = {Isabela Drǎmnesc and Tudor Jebelean and Sorin Stratulat},
  year = {2026},
  doi = {10.4204/eptcs.452.10},
  url = {https://arxiv.org/abs/2609.34889},
  note = {Source identifier: 2609.34889}
}