[reuben364]

I didn't expect Lean 4 in this context.

[ykonstant]

I use it a lot for all kinds of programming, including generating, formatting and processing data for various datasets; it is very convenient if you know how to make it work fast (it is not always easy).