← Back to context Comment by dmos62 4 hours ago Do you find Lean 4 sufficient for highly async systems? 1 comment dmos62 Reply iFire 3 hours ago I 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-dist... for how async related to distributed systems.
iFire 3 hours ago I 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-dist... for how async related to distributed systems.
I 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-dist... for how async related to distributed systems.