|
Razonamiento Automático (2021-22) |
|
| Temas |
| Ejercicios |
| Sistemas |
| Documentación |
| Trabajos |
| Entrar |
Sistemas de razonamiento automático utilizados en la asignatura
Otter
- Página oficial de Otter.
- Manual de referencia
Isabelle
- Página oficial de Isabelle.
- Documentación del sistema
LEAN
- Página oficial de LEAN.
- Documentación del sistema