Balancing Lists: A Proof Pearl

DOI10.1007/978-3-319-08970-6_28zbMath1416.68060arXiv1401.7886OpenAlexW1573989227MaRDI QIDQ2879268

Guyslain Naves, Arnaud Spiwack

Publication date: 8 September 2014

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1401.7886

Mathematics Subject Classification ID

Data structures (68P05)

Uses Software

• Coq

This page was built for publication: Balancing Lists: A Proof Pearl