Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
Peano.v
Find file
Blame
History
Permalink
Compat coq 8.13 (omega -> lia)
· 9c31f9cc
Pierre Letouzey
authored
Mar 30, 2021
9c31f9cc