I always wanted to have something like this for math proofs. Like, when you’re reading a complicated derivation, where the author glosses over the details, you

I always wanted to have something like this for math proofs. Like, when you’re reading a complicated derivation, where the author glosses over the details, you could click on the given step and see why it’s true. Then repeat it arbitrarily deep.