Только что: новая версия Aristotle только что вышла, с возможностью отмены длительных доказательств. Не забудьте обновиться. Следите за новостями, впереди много интересного!

Более подробная информация здесь: