Lean has become the backbone of the research process — Drawing a line between subjectivity and objectivity

In the AI era, Lean might become more central to research papers than TeX manuscripts. This is a story about seeing that ...