Hacker GitHub

← All repos

henryrobbins/open-atp

View on GitHub ↗ ★ 30 Python

OpenATP is an open-source Python package providing a common interface for Automated Theorem Proving (ATP)

8 mentions on Hacker News by 1 person: 2 stories, 6 comments · first 2026-06-30 · latest 2026-09-04

Mentions per year 8 mentions · busiest year 2026 (8)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 3
    Grok is a surprisingly good automated theorem prover
    story by henryrobbins00 · 2026-07-22 · 1 comment
  2. ▲ 3
    Show HN: OpenATP: A platform for automated theorem proving in Lean
    story by henryrobbins00 · 2026-06-30 · 0 comments