emeryberger merged plasma-umass/scalene#1068 · June 28, 2026 14:57 Add formal models (TLA+ + Lean) of Scalene concurrency & correctness #1068 Formal models of Scalene's concurrency & correctnessMachine-checked models of three runtime properties — signal/iteration safety,deadlock freedom… +976 -0