Skip to content

WIP: Some lemmas about `list_lookup_total`

Dan Frumin requested to merge dfrumin/coq-stdpp:lookup_total_lemmas into master

Partially addresses #50 (closed)

Edited by Robbert Krebbers

Merge request reports