awesomo4000 / awesome-provable

A curated set of links to formal methods involving provable code.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Add this list to sindresorhus/awesome

anton-trunov opened this issue · comments

Hi! Have you considered adding this list to the list of awesome lists for better discoverability. We just did this for https://github.com/coq-community/awesome-coq (see sindresorhus/awesome#1697) and our experience was pretty great (kudos to @palmskog for that PR).

commented

Thanks. Will try. Just saw this. Hence the delayed response.

Yikes. Looks like they have a bunch of stuff you have to do... any takers?