3 ms·
> Imo, the proved theorem is the API. And that's really all it has to be. The novel approaches to solving challenging proofs is very useful.
by goalieca 4mo ago
> Imo, the proved theorem is the API. And that's really all it has to be.
The novel approaches to solving challenging proofs is very useful.