Our journey to type checking 4M lines of Python

This post does not have any comments yet