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: Seq instances for scalar arrays #14

Closed JamesGallicchio closed 8 months ago

JamesGallicchio commented 9 months ago

Depends on #13 for no reason other than commit history

Scalar arrays are going to take a ton of work if we care about performance and correctness. Even just getting performant append is not straightforward.