Track Awesome Coq Updates Daily

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [[email protected],@palmskog]

馃彔 Home馃攳 Search馃敟 Feed馃摦 Subscribe馃樅 coq-community/awesome-coq猸 181馃彿锔 Programming Languages

[ Daily / Weekly / Overview ]

Nov 14, 2022

Projects / Verified Software

Resources / Community

Resources / Course Material

Oct 23, 2022

Projects / Tools

Resources / Course Material

Oct 06, 2022

Projects / Libraries

Sep 28, 2022

Resources / Course Material

Aug 27, 2022

Projects / Frameworks

Resources / Community

Aug 11, 2022

Projects / User Interfaces

Projects / Tools

Resources / Community

Resources / Blogs

Jun 11, 2022

Projects / Plugins

Jun 01, 2022

Projects / Frameworks

May 18, 2022

Resources / Tutorials and Hints

Mar 25, 2022

Projects / Plugins

Mar 12, 2022

Projects / Type Theory and Mathematics

Feb 13, 2022

Projects / Verified Software

Dec 19, 2021

Resources / Course Material

Dec 18, 2021

Projects / Libraries

Projects / Tools

Projects / Type Theory and Mathematics

Nov 29, 2021

Projects / Libraries

Nov 12, 2021

Resources / Books

Nov 04, 2021

Projects / Libraries

Projects / Package and Build Management

Nov 03, 2021

Projects / Libraries

Oct 29, 2021

Projects / Package and Build Management

Projects / Verified Software

Oct 10, 2021

Projects / Libraries

Projects / Verified Software

Oct 05, 2021

Projects / Libraries

Projects / Tools

Sep 10, 2021

Resources / Community

Aug 25, 2021

Projects / Tools

Aug 21, 2021

Projects / Frameworks

Projects / Libraries

Projects / Tools

Resources / Books

Aug 15, 2021

Projects / Plugins

Aug 13, 2021

Projects / Tools

Aug 12, 2021

Projects / Frameworks

Projects / Libraries

Projects / Package and Build Management

Projects / Tools

Projects / Verified Software

Aug 10, 2021

Projects / Package and Build Management

Projects / Tools

Projects / Verified Software

Resources / Tutorials and Hints

Dec 06, 2020

Projects / Package and Build Management

Nov 23, 2020

Projects / Libraries

Projects / Package and Build Management

Projects / Tools

Oct 20, 2020

Projects / Frameworks

Projects / Tools

Projects / Type Theory and Mathematics

Resources / Blogs

Sep 10, 2020

Projects / Libraries

Projects / Tools

Projects / Type Theory and Mathematics

Resources / Community

Resources / Books

Resources / Course Material

Aug 19, 2020

Projects / Type Theory and Mathematics

Resources / Community

Resources / Blogs

May 31, 2020

Projects / Libraries

Projects / Plugins

Projects / Type Theory and Mathematics

Resources / Community

Mar 20, 2020

Projects / Verified Software

Resources / Community

Feb 26, 2020

Projects / Package and Build Management

Projects / Type Theory and Mathematics

Resources / Books

Resources / Tutorials and Hints

Feb 24, 2020

Projects / Libraries

Projects / Plugins

Feb 20, 2020

Projects / Package and Build Management

Projects / Tools

Feb 07, 2020

Projects / Libraries

Projects / Tools

Resources / Community

Resources / Blogs

Jan 19, 2020

Projects / Frameworks

Projects / Libraries

Projects / Package and Build Management

Projects / Tools

Resources / Books

Jan 18, 2020

Projects / User Interfaces

Jan 14, 2020

Projects / Type Theory and Mathematics

Jan 13, 2020

Projects / Libraries

Projects / Plugins

Projects / Tools

Projects / Type Theory and Mathematics

Projects / Verified Software

Resources / Community

Resources / Tutorials and Hints

Jan 12, 2020

Projects / Libraries

Projects / Plugins

Projects / Type Theory and Mathematics

Projects / Verified Software

Jan 10, 2020

Projects / Frameworks

Projects / User Interfaces

Projects / Libraries

Projects / Plugins

Projects / Tools

Projects / Type Theory and Mathematics

Projects / Verified Software

Resources / Community

Jan 09, 2020

Resources / Blogs