GitHub repository: manuelmontenegro/liquidarrays
Primary language: Kotlin
Created: 2018-12-19T10:54:37Z
Description: Array invariant synthesis via Liquid Types