2 ms·
In the sense they're talking about, they don't mean "formal proof," they mean "existence proof." It's not like it's a mature choice in the space, is what they m
by steveklabnik 3y ago
In the sense they're talking about, they don't mean "formal proof," they mean "existence proof." It's not like it's a mature choice in the space, is what they mean.