search

Event-Structures / event-struct

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

Coq 8.14 #134

Closed eupp closed 2 years ago

eupp commented 2 years ago

Add coq-8.14 support (and corresponding CI builds).

eupp commented 2 years ago

Currently blocked by https://github.com/damien-pous/relation-algebra/issues/24