Skip to content
Snippets Groups Projects
Forked from Iris / stdpp
2451 commits behind the upstream repository.
user avatar
Robbert Krebbers authored
This way we get rid of the (unused) axiom eq_rect_eq reported by coqchk.
b0c1837e
History
Name Last commit Last update
theories