search

Event-Structures / event-struct

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

Adding mathcomp-zify #133

Closed volodeyka closed 3 years ago

anton-trunov commented 3 years ago

Related issue: https://github.com/Event-Structures/event-struct/issues/111