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: proofs of Fold.any/all/mem correct #13

Closed JamesGallicchio closed 8 months ago

JamesGallicchio commented 8 months ago

introduces a Fold.ToList correctness typeclass.

sidenote: I sorta hate my own naming conventions :( digging my own grave here