Show HN: OpenATP: A platform for automated theorem proving in Lean

(github.com) by henryrobbins00 | Jun 30, 2026 | 0 comments on HN