/vstyle

A style guide for Coq

MIT LicenseMIT

Stargazers