awesome-provable
awesome-provable copied to clipboard
Published
20 hours ago •
awesomo4000
awesomo4000
A curated set of links to formal methods involving provable code.
Results
1
awesome-provable issues
Sort by
recently updated
recently updated
newest added
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 https://github.com/sindresorhus/awesome/pull/1697) and our experience was pretty great...
Metadata
188
Stars
8
Forks
Watchers
Owner
Metadata
A curated set of links to formal methods involving provable code.