https://www.quantamagazine.org/building-the-mathematical-library-of-the-future-20201001/
Regardless of what proof engines suck less than lean, will it even be viable in the future to get a math degree without knowing programming?
Regardless of what proof engines suck less than lean, will it even be viable in the future to get a math degree without knowing programming?
