Sistemas usados en "Lógica matemática y fundamentos" (2019-20)
En esta página se encuentran enlaces a los sistemas utilizados en en el curso "Lógica matemmática y fundamentos".
- Formalización:
- Deducción natural:
- DAO (Demostración asistida por ordenador):