Ecosyste.ms: Issues

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

GitHub / ekdohibs/coq-proofs issues and pull requests

#3 - update to compile with coq 8.14.1

Pull Request - State: closed - Opened by darijgr almost 3 years ago

#2 - add configure.sh to generate _CoqProject and Makefiles so the repo can be used with opam

Pull Request - State: closed - Opened by ildyria over 5 years ago - 1 comment

#1 - Add Configure.sh and makefile

Pull Request - State: closed - Opened by ildyria over 5 years ago