Full threadhenryrobbins00·Try out Leanstral 1.5 on the latest version of OpenATP! OpenATP is an open-source Python package and CLI for agentic automated theorem provers. It natively supports running provers locally in Docker or remotely in Modal sandboxes.GitHub: https://github.com/henryrobbins/open-atpDocs: https://open-atp.henryrobbins.comView on HN