Я пытаюсь определить простой язык на основе стека в Coq. На данный момент набор инструкций содержит...