lawful-arrays
A Bend 2 law and proof library describing the standard Array operations through lists of array leaves. It covers creation, size, access, updates, swaps and cloning, with explicit shape and depth conditions for the relevant laws.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/luiscleto/lawful-arrays ↗GitHubhttps://github.com/luiscleto/lawful-arrays/blob/main/README.md ↗GitHubhttps://github.com/luiscleto/lawful-arrays/blob/main/LAWS.bend ↗