3 ms·It kinda is yes. I don’t understand why classical proofs are still a thing.by adamnemecek 9y agoIt kinda is yes. I don’t understand why classical proofs are still a thing.