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 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