какой linux для матем задач, исп только целочисл ариф и многоПамяти, возможно вычисления на неск ядрах процессоров
https://github.com/eprover/eprover
https://github.com/vprover/vampire
https://github.com/ai4reason/enigmatic

q137@protonmail.com