verified
Coq formalizations and proofs of (data) structures and algorithms.
45 stars
4 watching
3 forks
Language: Coq
last commit: over 6 years ago coqformal-verification
verified Coq formalizations and proofs of (data) structures and algorithms.