I went through part 1 which I think is relatively clear.
I got a bit confused in part 2. I might need to read it a bit more closely.
Unless you think it is necessary, I'm not sure we need to put in all the proofs. If we do it might be nice to have the code aligned with them? I feel like that is the value added that we provide to the readers.
I went through part 1 which I think is relatively clear.
I got a bit confused in part 2. I might need to read it a bit more closely.
Unless you think it is necessary, I'm not sure we need to put in all the proofs. If we do it might be nice to have the code aligned with them? I feel like that is the value added that we provide to the readers.