Добрый день! Кто-нибудь может посоветовать библиотеку для символьных вычислений типа

Question

sympy?

Требований к производительности нет, единственное, что пока нужно -- выводить штуки вида
{t >= j} => {j + (i-t) <= i}.

0

10.10.2021

4 просмотра

Речь об этом?

0

10.10.2021

https://leanprover.github.io/

0

10.10.2021

Это совсем другой язык, хотелось попробовать в пределах Haskell'а остаться)

0

10.10.2021

ㅤ Атеист · Accepted Answer

может, какой-нибудь lean prover подойдет?

0

10.10.2021