Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
NameProofs.v
Find file
Blame
History
Permalink
An extra Open Scope for fixing the compilation with Coq 8.11
· 934da1dd
Pierre Letouzey
authored
Jul 30, 2020
934da1dd