広告掲載投稿ログイン

Leopoldo Sarra

February 2026 に参加1 件のプロジェクトを投稿

投稿

AxProver

Axiomatic-AI

An MCP server for building Lean4 code, and automated theorem proving

8 か月前に追加