|
|
|
|
|
|
by henryrobbins00
32 days ago
|
|
|
What a coincidence! I just released OpenATP earlier today. OpenATP is an open-source Python package and CLI for agentic automated theorem provers. It includes support for Leanstral with Mistral’s Vibe harness. The previous production Leanstral model was deprecated on May 22nd. I will update the package to point to Leanstral 1.5 ASAP! GitHub: https://github.com/henryrobbins/open-atp Docs: https://open-atp.henryrobbins.com |
|
|