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. Check out our new Discourse!

coq verification theorem proving ocaml

gprimiero / SecureNDC

A Coq Library for the SecureND Calculus for Minimal Trust

coq library securend calculus minimal trust