wkolowski/coq-algs

Formally verified algorithms in Coq: concepts and techniques

Coq