A curated list of awesome Coq frameworks, libraries and software. - View it on GitHub