Construindo a Biblioteca Matemática do Futuro
BakaArts for Quanta Magazine 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. Todos os dias, dezenas de matemáticos com ideias semelhantes se reúnem em um fórum online chamado Zulip para construir o que acreditam ser …
Continue lendo “Construindo a Biblioteca Matemática do Futuro”