Closed Columbus240 closed 3 years ago
By automatically compiling this library on multiple versions of Coq, it’s easier to ensure compatibility and correctness of changes. The whole setup is copied and adapted from repos by @coq-community.
By automatically compiling this library on multiple versions of Coq, it’s easier to ensure compatibility and correctness of changes. The whole setup is copied and adapted from repos by @coq-community.