cd/entity/OpenProver· home› entities› OpenProver
grep -l @openprover /news/*.json | wc -l → 1

OpenProver

mentions 1 type Organization feed RSS

// recent coverage 1 mentions

04:00
2026-07-13
arxiv.org
artificial-intelligence

OpenProver: Agentic and Interactive Theorem Proving with Lean 4

OpenProver, an open-source system for LLM-driven automated theorem proving with Lean 4 formal verification, integrates a Planner-Worker-Verifier architecture and offers an interactive terminal interfa…

// co-occurs with top 3 entities
Lean 4 1 Aletheia 1 ProofNet 1
// topics top 4 topics
artificial intelligence 1 large language models 1 ai tools 1 ai agents 1