Add new formally verified implementation: CoAP-SPARK #41

Open

opened

on Jan 31, 2026

Please, add CoAP-SPARK, a formally verified implementation of CoAP in SPARK/Ada.

Thanks.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests