GitHub repository: JasonGross/bedrock
Primary language: Coq
Description: Not necessarily up-to-date mirror of hg bedrock repository