search

Event-Structures / event-struct

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

Adding `PrimeC` homomorphisms #138

Closed volodeyka closed 2 years ago

eupp commented 2 years ago

Have you pushed all changes that we did during the personal meeting?

volodeyka commented 2 years ago

Have you pushed all changes that we did during the personal meeting?

yes

volodeyka commented 2 years ago

If you want we can merge it now. Or we can wait until we learn why bigenough cause CI to fail on coq-dev.

OK, let's wait for a while