search

Event-Structures / event-struct

Mechanized Theory of Event Structures
MIT License
16 stars 1 forks source link

(First step to) General theory of the rewriting systems #81

Closed volodeyka closed 3 years ago