Skip to content
GitLab
Explore
Sign in
concordium
ConCert
Repository
ConCert
embedding
theories
pcuic
PCUICCorrectnessAux.v
Find file
Blame
History
Permalink
Added support for the certified extraction to Liquidity through erase of MetaCoq
· 938f038b
Danil
authored
Mar 20, 2020
938f038b