GitHub repository: letouzey/coq-wip
Primary language: OCaml
Description: Some Work-In-Progress stuff about Coq