3 ms·
Formal methods to the rescue: https://math.stackexchange.com/a/3437635/115703 https://math.stackexchange.com/a/3437635/115703
by bmer 7y ago
Formal methods to the rescue: https://math.stackexchange.com/a/3437635/115703 https://math.stackexchange.com/a/3437635/115703