GitHub
formal-specification-driven-development
Use this skill when the user wants to implement code with formal verification. This workflow discusses requirements, creates Idris2 specifications, reviews them, compiles for verification, then implements in th...
☆ 0查看技能