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/kdeldycke/awesome-falsehood 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/kdeldycke/awesome-falsehood is a good alternative to awesome-coq