3 ms·
I didn't expect Lean 4 in this context.
by reuben364 3y ago
I didn't expect Lean 4 in this context.
- ykonstant 3y agoI 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).