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