Library for tuple support in Lean 4

Stream: general

[Joseph O]

Here is my first ever project with lean 4. I wasn't satisfied with Lean 4's Product type so I made my own tuples. They give a lot of functionality: https://github.com/crabbo-rave/lean4-Tuple