Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
PreModels.v
Find file
Blame
History
Permalink
Compat with Coq 8.8
· 8ba734aa
Pierre Letouzey
authored
Aug 05, 2020
8ba734aa