LeanColls icon indicating copy to clipboard operation
LeanColls copied to clipboard
verified publisher icon JamesGallicchio

feat: LawfulSeq instances for scalar arrays

Open JamesGallicchio opened this issue 1 year ago • 0 comments

A husk of a PR. These are going to take a lot of work to prove correct.

Depends on #14.

JamesGallicchio avatar Feb 28 '24 09:02 JamesGallicchio