Data

Tools

Indexes

Applications

Experiments

Issues

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

GitHub / tchajed/coq-project-template issues and pull requests

#2 - Build errors are confusing if submodules are not initialized

Issue - State: closed - Opened by tchajed almost 7 years ago - 1 comment

#1 - Provide a template for extraction

Issue - State: open - Opened by tchajed almost 7 years ago