Suggest an alternative to

awesome-coq

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]

Why do you think that https://github.com/fffaraz/awesome-cpp is a good alternative to awesome-coq

A URL to the alternative repo (e.g. GitHub, GitLab)

Here you can share your experience with the project you are suggesting or its comparison with awesome-coq. Optional.

A valid email to send you a verification link when necessary or log in.