awesomo4000 / awesome-provable

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

Date Created 2017-11-10 (7 years ago)

Commits 16 (last one 2 years ago)

Stargazers 198 (1 this week)

Watchers 10 (0 this week)

Forks 8

License unknown

Ranking

RepositoryStats indexes 589,134 repositories, of these awesomo4000/awesome-provable is ranked #181,013 (69th percentile) for total stargazers, and #206,941 for total watchers.

Other Information

awesomo4000/awesome-provable has Github issues enabled, there is 1 open issue and 1 closed issue.

All Topics

coq agda sel4 idris isabelle isabelle-hol formal-verification certified-programming

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

0 commits on the default branch (master) since jan '22

No recent commits to this repository

Yearly Commits

Commits to the default branch (master) per year

Issue History

Languages

We don't have any language data for this repository

It's a mystery

updated: 2024-12-03 @ 09:03am, id: 110240346 / R_kgDOBpIiWg