cotalks.dev
Login
Finn Hackett
Videos
1 — Promises and Challenges in Bridging TLA+ Designs with Implementations
TLA+ Conf 2024
