Acciones

Temas

De Razonamiento automático (2018-19)

En esta página se irán publicando los temas conforme se vayan estudiando.

1 RA con Isabelle/HOL

2 RA con Coq