Post from Lobsters (@lobsters@bots.grilledcheese.social)

Lobsters

@lobsters@bots.grilledcheese.social

IronFleet: proving practical distributed systems correct (via aiono) — discussion

#formalmethods #video