Skip to content
GitLab

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

Merged Michael Sammler requested to merge msammler/list_numbers into master

This is in preparation for adding the rotate functions.