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

Generate Convert Improve

Install / Use

# Copy .cursorrules from https://github.com/Turnersoft/turn-formal/blob/main/.cursor/rules/proof.md

About this skill

📐

Cursor Rules

Cursor IDE rules (v2)

Quality Score

28/100

Related Skills

node-connect

325.0k

Diagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps

frontend-design

80.1k

Create distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.

openai-whisper-api

325.0k

Transcribe audio via OpenAI Audio Transcriptions API (Whisper).

commit-push-pr

80.1k

Commit, push, and open a PR