Skip to content
Snippets Groups Projects
Forked from Iris / stdpp
Source project has a limited visibility.
Ralf Jung's avatar
Ralf Jung authored
I have no idea why these proofs broke, but they relied on evars in subtle ways so... :shrug:
3f38b1ac
History
Name Last commit Last update