Skip to main content
Link
Menu
Expand
(external link)
Document
Search
Copy
Copied
ProofFrog
Home
Manual
Installation
Tutorial
Part 1: Hello Frog
Part 2: OTP has one-time secrecy
Worked Examples
Chained Encryption
KEM-DEM CPA
Language Reference
Basics
Execution Model
Primitives
Schemes
Games
Proofs
Canonicalization
Limitations
Command-Line Interface
Web Editor
Editor Plugins
Troubleshooting
Examples
For Researchers
Scientific Background
Engine Internals
Soundness
Gen AI & Proving
External Uses
Publications & More
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
For Researchers
Publications & More
HACS 2026 Updates
Vibe-coding a proof
Claude Code Transcript
View transcript