Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
mpri-2.4-public
Repository
mpri-2.4-public
coq
LambdaCalculusEncodingCBNIntoCBV.v
Find file
Blame
History
Permalink
A Coq solution for part 1 of the mid-term exam.
· 9a1309c5
POTTIER Francois
authored
Dec 22, 2017
9a1309c5