The concept of proof within the context of machine mathematics | Heykuki News