The concept of proof within the context of machine mathematicslawrencecpaulson.github.io2 pointschmaynard3 years ago