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/trimstray/the-book-of-secret-knowledge 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.