CentraleSupélec — Département informatique
Plateau de Moulon
3 rue Joliot-Curie
F-91192 Gif-sur-Yvette cedex
Exemple de théories Isabelle/HOL

Curryfication

Curryfication.thy

Termes, types, définition d'un type inductif

Exemple.thy

Définition d'un prédicat inductif

InductiveExample.thy