Skip to content
GitLab
Explore
Sign in
Glen Mével
stdpp
Repository
stdpp
tests
tactics.v
Find file
Blame
History
Permalink
Add test for `destruct select`.
· 723ad25f
Robbert Krebbers
authored
Dec 16, 2021
723ad25f