Skip to content

S
stdpp
Merged
Opened by Michael Sammler@msammler
Report abuse

Extracted list_numbers.v with seq, seqZ, sum_list and max_list

This is in preparation for adding the rotate functions.