Я ищу инструмент (предпочтенный GUI, но CLI работал бы), который позволяет мне вводить математические выражения и затем выполнять манипуляции ими, но ограничивает меня только математически допустимыми операциями. Кроме того...

У меня есть определенные индуктивные типы: Индуктивный InL (A:Type) (y:A): перечислите-> Опора: = | InHead: forall xs:list A, InL y (подставляет y xs), | InTail: forall (x:A) (xs:list A), InL y xs-> InL y (...