Sistemas usados en "Lógica matemática y fundamentos" (2018-19)
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)