issues
search
Event-Structures
/
event-struct
Mechanized Theory of Event Structures
MIT License
16
stars
1
forks
source link
Idiomatic proof of bhom_le_antisym
#146
Closed
volodeyka
closed
2 years ago