search

Event-Structures / event-struct

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

Split `utils.v` : move `seq` related lemmas to `seq.v` #160

Closed eupp closed 2 years ago