Razonamiento por casos y por inducción en Isabelle/HOL
Channel: José A. Alonso
Date: 07/05/2020

Estudio del razonamiento por casos y por inducción con Isabelle/HOL. El vídeo es una grabación directa de clase dada mediante videoconferencia. La teoría Isabelle/HOL en https://bit.ly/2Wxu8Gs