Results for "variable"

"variable"Development & Engineering Cursor Rules Clear all

Claude Code Claude Desktop GitHub Copilot Cursor Windsurf Cline Zed JetBrains

📄SKILL.md 🤖CLAUDE.md ⚡Claude Commands 📐.cursorrules 📐Cursor Rules 🕹️AGENTS.md 🧬codex.md 🏄.windsurfrules 🔧.clinerules 🧑‍✈️Copilot Instructions

All Development Operations Data Product Marketing Customer Design Sales

1 skills found

Turnersoft / proof

Theorem Proof Naming Conventions Variable Naming for Proof Steps Throughout the codebase, proof steps follow a specific naming convention: - `p0` - The initial branch from a theorem builder

📐 Cursor Rulescursor

cursor-rules

Updated 34m ago