Concurrency or multithreading

Stream: Is there code for X?

[nrs]

Has anyone previously attempted to write a concurrent or multithreaded app proof of concept in Lean? Search results shows a couple of results for using the mutex primitives and not much else.