Alex Flint comments on Automated theorem proving by learning from examples

[Alex Flint]

Ooh, thanks for the link to metamath.