search

Event-Structures / event-struct

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

Fix minor warnings #122

Closed eupp closed 3 years ago

eupp commented 3 years ago

closes #42