Proving Tree Algorithms for Succinct Data Structures.

Reynald Affeldt, Jacques Garrigue, Xuanrui Qi, Kazunari Tanaka

Browse the full ITP paper archive.