Skip to content

2 lemmas: back_pointer and back_pointers

Natasha Klaus requested to merge skip-list-lemma into master

validity predicates and lemmas.

Edited by Natasha Klaus

Merge request reports