Skip to content
GitLab
Explore
Sign in
concordium
ConCert
Repository
ConCert
extraction
theories
LPretty.v
Find file
Blame
History
Permalink
Fix comment
· 1e5118ec
Danil
authored
May 01, 2020
1e5118ec