GitHub repository: Event-Structures/event-struct
Primary language: Coq
Description: Mechanized Theory of Event Structures