-
- Downloads
Avoid `sUnit` and instead use `Squash`.
This should ensure that `coqchk` no longer reports axioms.
parent
b0a06c9d
Branches tchajed/stdpp-sprop-gmap
No related tags found
Showing
Loading
Please register or sign in to comment