Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Graph Theory | 28 | 4 months ago | 3 | Coq | ||||||
Graph Theory [maintainers=@chdoc,@damien-pous] | ||||||||||
Imm | 19 | 5 months ago | mit | Coq | ||||||
Intermediate Memory Model (IMM) and compilation correctness proofs for it | ||||||||||
Automatik | 8 | 2 years ago | n,ull | mit | Coq | |||||
A library of formalized automaton algorithms |