search

JamesGallicchio / LeanColls

WIP collections library for Lean 4
https://jamesgallicchio.github.io/LeanColls/docs/
Apache License 2.0
30 stars 7 forks source link

feat: LawfulSeq instances for scalar arrays #15

Open JamesGallicchio opened 8 months ago

JamesGallicchio commented 8 months ago

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

Depends on #14.