Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / GaloisInc/entree-specs issues and pull requests

#5 - Build failure with `coq-itree.5.2.0`

Issue - State: open - Opened by RyanGlScott 7 months ago
Labels: bug

#4 - Update Proof Automation

Issue - State: open - Opened by eddywestbrook 10 months ago

#3 - Redefine the SpecM monad for the new approach to higher-order recursive calls

Pull Request - State: closed - Opened by m-yac 10 months ago

#2 - Add `opam` file

Pull Request - State: closed - Opened by RyanGlScott almost 2 years ago

#1 - Compilation error with Coq 8.16.0

Issue - State: open - Opened by RyanGlScott about 2 years ago