Skip to content

Some more resources for Coq #2

@anton-trunov

Description

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

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions