Skip to content
GitLab
Explore
Sign in
David Swasey
coq-stdpp
Repository
coq-stdpp
theories
numbers.v
Find file
Blame
History
Permalink
Add decidability instances for Z.gt and Z.ge
· 583c4645
Tej Chajed
authored
Feb 13, 2020
and
Robbert Krebbers
committed
Feb 13, 2020
583c4645