4 ms·
Do you find Lean 4 sufficient for highly async systems?
by dmos62 5mo ago
Do you find Lean 4 sufficient for highly async systems?
- iFire 5mo agoI haven't made money on yet, but I'm trying to model a webtransport (http/3, quic) system for massive multiplay vr games. See https://aws.amazon.com/builders-library/challenges-with-distributed-systems/ https://aws.amazon.com/builders-library/challenges-with-dist... for how async related to distributed systems.