The Home of Community

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

gprimiero / SecureNDC

A Coq Library for the SecureND Calculus for Minimal Trust

coq library securend calculus minimal trust