Show HN: OpenATP: A platform for automated theorem proving in Lean(github.com)
3 pointsby henryrobbins003 hours ago1 comment