привет всем, пишу доказательство теоремы. Возможно ли в лиспе найти определённое выражение и заменить его на другое выражение?
есть вообще примеры автодоказательства теорем на лиспе?)