CoAP-SPARK is a library implementing the Constrained Application Protocol (CoAP) as defined in RFC 7252, developed in the SPARK language, the formally verified subset of the Ada programming language.
This version implements the client side of the protocol with some limitations:
See LICENSING for licensing information.
Globally install this crate:
alr install coap_sparkAdd to your project:
alr with coap_sparkDependencies: 2
Dependents: 1
Versions: 1