Skip to content
GitLab
Explore
Sign in
Tej Chajed
stdpp
Repository
stdpp
theories
numbers.v
Find file
Blame
History
Permalink
Rewrite cross split lemmas so they can more easily be used for forward reasoning.
· 13765ae7
Robbert Krebbers
authored
Jun 18, 2021
13765ae7