1 boosters for "programming-as-theory-building" — open source, verified from GitHub, ready to install
"name": "programming-as-theory-building-skill", "description": "Programming as Theory Building guidelines for coding agents, grounded in Peter Naur's paper and focused on preserving program theory during code work.", "name": "Programming as Theory Building Skill contributors"
