Skip to content

Generalize Propers for lists

Robbert Krebbers requested to merge robbert/list_proper into master

Analogue to stdpp!407 (merged)

Merge request reports