GitHub repository: Darzu/PeaCoq
Primary language: Coq
Description: PeaCoq is a pretty Coq, isn't it?