henryrobbins/open-atp

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

3 best points · 0 comments · 1 Hacker News post · 30 GitHub stars · View on GitHub

Hacker News discussions