4 ms·
Thank you. As someone who struggles expressing concepts formally, it was enlightening to see how this sort of proof could be modeled.
by gcr 10y ago
Thank you. As someone who struggles expressing concepts formally, it was enlightening to see how this sort of proof could be modeled.