Skip to main content
Link
Menu
Expand
(external link)
Document
Search
Copy
Copied
ProofFrog
Home
Getting Started
Guide to Writing a Proof
Examples
Design
HACS 2024 Exercise
CAPS 2025 Tutorial
HACS 2026 Updates
Vibe-coding a proof
Input: Prompt
Output: Scheme
Output: Proof
Claude Code Transcript
Web interface
Search ProofFrog
ProofFrog GitHub
HACS 2026 Updates
Vibe-coding a proof
Claude Code Transcript
View transcript