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

(github.com)

3 points | by henryrobbins00 4 hours ago ago

1 comments