4 ms·Can Lean can do what TLA+ does - model check thorny concurrency problems ?by lenkite 2y agoCan Lean can do what TLA+ does - model check thorny concurrency problems ?