Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
mpri-2.4-public
Repository
mpri-2.4-public
coq
LambdaCalculusBigStep.v
Find file
Blame
History
Permalink
A simple Coq proof of semantics preservation for the CPS translation, in big-step style.
· 99cf193e
POTTIER Francois
authored
Sep 11, 2018
99cf193e