ЩОЙНО: Щойно вийшла нова версія Арістотеля, яка дозволяє скасовувати довготривалі докази. Обов'язково оновлюйте. Слідкуйте за оновленнями, попереду ще багато інших!
Детальніше тут:
17