Coq

Libraries of the Coq proof assistant