Buen día.
En las últimas versiones de Coq (a partir de 8.14, según el changelog) la táctica omega fue removida, siendo su funcionalidad substituida por una nueva táctica llamada lia.
Quería consultar si los que tenemos el Coq actualizado podíamos usar lia de forma equivalente cuando el práctico 6 indica el uso de omega.
Saludos.