top | item 39260939 (no title) reuben364 | 2 years ago I didn't expect Lean 4 in this context. discuss order hn newest ykonstant|2 years ago 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).
ykonstant|2 years ago 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).
ykonstant|2 years ago