Prover-Agent
Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs
What is Prover-Agent?
Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs
Maintain this project? Show that it is featured on YunoDB.
Markdown
[](https://yunodb.com/tools/kaito47802prover-agent?utm_source=github&utm_medium=badge)HTML
<a href="https://yunodb.com/tools/kaito47802prover-agent?utm_source=github&utm_medium=badge"><img src="https://yunodb.com/badge/kaito47802prover-agent.svg" alt="Featured on YunoDB" height="20"></a>Keep exploring
View all alternatives Related tools
100/100
FinceptTerminal
FinceptTerminal is a modern finance application offering advanced market analytics, investment research, and economic data tools, designed for interactive explo
100/100
open-saas
A 100% free modern JS SaaS boilerplate (React, NodeJS, Prisma). Full-featured: Auth (email, google, github, slack, MS), Email sending, Background jobs, Landing
100/100
wechat-bot
🤖 Multi-platform IM AI Agent for Telegram, WhatsApp, Lark, and WeChat. Connects ChatGPT / Claude / Kimi / DeepSeek / Ollama / Pi for auto-replies, community an