The Home of Community

800K+ People
300K+ Rooms
90K+ Communities
100+ Countries

coq / coq

Welcome to Coq's Gitter, call by name and don't be afraid (see coq/Sphinxing for Sphinx-related questions).

coq verification theorem proving ocaml

gprimiero / SecureNDC

A Coq Library for the SecureND Calculus for Minimal Trust

coq library securend calculus minimal trust