Some more resources for Coq

[anton-trunov]

Hi, thanks for compiling the notes, lots of great stuff in here! (I can tell because there is a large intersection between your and my private notes ;)).

There is one more source that might be useful for both newcomers and FM experts: https://github.com/coq-community/awesome-coq.

Awesome-coq is a part of a more general initiative called coq-community, if you haven't heard of it yet, please take a look at our manifesto. It's a very open and welcoming community for Coq users of all backgrounds.

[mgrabovsky]

Thanks for the praise and for the tip. I'm aware of both coq-community and awesome-coq and I intend to mention them once I redesign the document.

This project is currently on the backburner with a small addition now and then, but I intend to move it forward in the foreseeable future. In the medium term, I plan to get down the intended goals and completely restructure the document. Among other things, I'd like to better accommodate for the various branches of formal methods, with less focus on Coq.

[anton-trunov]

Sounds like a great plan! Best of luck!