Show HN: OpenATP: A platform for automated theorem proving in Lean
**Brief Summary (2‑3 sentences)** OpenATP is an open‑source platform that plugs automated theorem‑proving capabilities—specifically the Lean proof assistant—int
Original source**Brief Summary (2‑3 sentences)** OpenATP is an open‑source platform that plugs automated theorem‑proving capabilities—specifically the Lean proof assistant—int
Original source