"ProofPatch team on IBM Bob 2.0 hackathon Hackathon"
Team Idea
ProofPatch will build a reusable debugging workflow in IBM Bob that produces a reproducible test, a focused repair, and an evidence package a reviewer can inspect. Our public application will let judges rerun checks against the original code, the repaired code, and a deliberately incorrect repair.
.png&w=256&q=75)
.png&w=256&q=75)
