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

ProofNet

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
OpenProver 1 Lean 4 1 Aletheia 1
// topics top 4 topics
artificial intelligence 1 large language models 1 ai tools 1 ai agents 1