Verifying State & Reconciliation in Collaborative Web Apps (by heyyfernanda) — discussion
#ai #formalmethods
