How can I invoke a new thread using Lean4?

Stream: new members

[Samuel Durante]

Currently, I'm developing a TCP chat with Lean4, and I need to invoke a new thread. Does have Lean4 some function already implemented that makes this?

[Mario Carneiro]

Lean doesn't expose raw threads (it probably should), but you can use the Task system instead. IO.runTask will start the passed function on another thread

[Alok Singh]

do you think it's likely to in near-ish future?

[Sebastian Ullrich]

What do you expect of threads that tasks don't provide?