cocotec/popili
v1.6.0-beta.1
Popili formal verification and code intelligence for the Coco language
cocotec publishes popili in 2 places.
cocotec/agent-plugins
- /popili-beta1.6.0-beta.1
- /popili0.1.0
Popili formal verification and code intelligence for the Coco language
cocotec publishes popili in 2 places.
cocotec/agent-plugins