Skip to content

jaalonso/RA20116

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

17 Commits
ejercicios
ejercicios
 
 
temas
temas
 
 
.gitattributes
.gitattributes
 
 
LICENSE
LICENSE
 
 
README.org
README.org
 
 

Repository files navigation

RA20116

Curso de Razonamiento automático” (2016-17)

Temas

  • Tema 1: Programación funcional en Isabelle.
  • Tema 2: Razonamiento automático sobre programas en Isabelle/HOL.
  • Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL.
  • Tema 4: Razonamiento por casos y por inducción.

Ejercicios

  • Relación 1: Programación funcional en Isabelle. (Enunciado y solución).
  • Relación 2: Razonamiento automático sobre programas en Isabelle/HOL. (Enunciado).

About

Curso de "Razonamiento automático"

Topics

isabelle isabelle-hol

Resources

Readme

License

GPL-3.0 license
Activity

Stars

2 stars

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages