search

Event-Structures / event-struct

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

Pomset split #121

Closed eupp closed 3 years ago

eupp commented 3 years ago

Split pomset.v into lposet.v and pomset.v, update README