Skip to content
GitLab
Explore
Sign in
Tej Chajed
stdpp
Repository
stdpp
theories
numbers.v
Find file
Blame
History
Permalink
Add lemmas about testbit on bounded integers
· c67d6a8f
Fengmin Zhu
authored
Apr 15, 2021
and
Michael Sammler
committed
Apr 19, 2021
c67d6a8f