Source: cirosantilli/automated-theorem-proving

= Automated theorem proving

<AGI-complete> in general? Obviously. But still, a lot can be done. See e.g.:
* <The Busy Beaver Challenge> deciders

Back to article page