Jekyll2026-08-18T00:48:53+00:00https://vikraman.github.io/event-structures/feed.xmlFormalisation of Event Structures and Causal-Consistency in Lean