TY  - RPRT
TI  - Verified Purely Functional Catenable Real-Time Deques
AU  - Jules Viennot
AU  - Arthur Wendling
AU  - Armaël Guéneau
AU  - François Pottier
PY  - 2026
UR  - https://arxiv.org/abs/2505.07681
ID  - 2505.07681
ER  -