Estoy buscando una herramienta (GUI preferida pero la CLI funcionaría) que me permite ingresar expresiones matemáticas y luego realizar manipulaciones de ellas, pero me restringe solo a operaciones ma
tengo los tipos definidos inductivas: Inductive InL (A:Type) (y:A) : list A -> Prop :=
| InHead : forall xs:list A, InL y (cons y xs)
| InTail : forall (x:A) (xs:list A), InL y xs -> InL y (