Programming Languages
Lean's Math Formalization Rise: Is History Repeating?
The fanfare around Lean for formalizing mathematics is deafening. But for those who’ve been in the trenches for decades, it sounds eerily familiar. This isn't the first rodeo.