Sistemas de razonamiento automático utilizados en la asignatura

Isabelle

1. Página oficial de Isabelle.
2. Documentación del sistema
3. Isabelle 2019 (Versión para Windows 7, 8, 8.1 y macOS 10.10, 10.11, 10.12, 10.13 y 10.14)