GitHub repository: tchajed/coq-array
Primary language: Coq
Created: 2018-11-06T19:59:25Z
Description: Coq library for array indexing and subslicing