8 ms·Type checking is the same as proof verification. It is called the Curry-Howard correspondenceby vatsachak 4mo agoType checking is the same as proof verification. It is called the Curry-Howard correspondence