paper-artifacts topic

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

coq-community

A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]

coq-community

Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]

coq-community