https://www.trackawesomelist.com/coq-community/awesome-coq/
Track Awesome Coq (coq-community/awesome-coq) Updates Daily - Track Awesome List
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
awesome coqcommunity updatestrackdailylist