"tex/derived.tex" did not exist on "5c9a1a55a1009bbbb62b4d886ea067538c1ff893"
Forked from
Iris / Iris
Source project has a limited visibility.
-
Ralf Jung authoredcreate iris-deprecated and iris-staging packages, and deprecate some hard-to-use logic-level wrappers as well as view shift and Hoare triple notation
Ralf Jung authoredcreate iris-deprecated and iris-staging packages, and deprecate some hard-to-use logic-level wrappers as well as view shift and Hoare triple notation