Uma pequena comunidade de matemáticos está usando um programa de software chamado Lean para construir um novo repositório digital. Eles esperam que represente o futuro de seu campo. Eles são todos devotos de um programa de software chamado Lean. É um “assistente de prova” que, em ...