Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
tests
pretty.ref
Find file
History
Permalink
Test cases for `pretty` of `N`, `nat`, and `Z`.
· 2b610e92
Robbert Krebbers
authored
Nov 09, 2020
2b610e92