Popili formal verification and code intelligence for the Coco language
This plugin declares no skills.
