Project Page
Index
Table of Contents
Recipes.Autosubst_lib.ARS
Abstract Reduction Systems
Recipes.Autosubst_lib.AutosubstSsr
Autosubst wrapper for ssreflect
Recipes.My_tactics.My_tactics
Recipes_neutralization.My_autosubst
Recipes_neutralization.Recipes
AST
Confluence of
step
Typing
Subject Reduction
Recipes_neutralization.Recipes_NF
Recipes_neutralization.Recipes_SN
Strong Normalization.
Recipes_neutralization.Recipes_neutralization
Soundness of NEU
Recipes_neutralization.Recipes_step_lemmas