Searching protocol for "theorem search"
Advanced math theorem proving for autonomous AI.
Find theorems and building blocks
Search Pepe's math notes.
Formalize and verify Lean 4 proofs.
Index lecture notes into knowledge base
Search Mathlib by type signature
Master Lean 4 proofs. AI guides every step.
Defend AI outputs with formal, fast defense.