ProofsARTIFICE