 Automated theorem proving (source code)

by Ciro Santilli (@cirosantilli, 37)

= 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