Skip to content

v0.1.0

Latest
Latest

Choose a tag to compare

View all tags
@sandraschi sandraschi released this 28 Aug 13:55
· 5 commits to main since this release
v0.1.0
67592f6

leanforge-mcp v0.1.0 - AI-driven formal proof search in Lean 4. MCPB bundle for the official MCP Registry.

Assets 3
Loading