A árvore de matemática
A árvore de matemática: desbloqueie a estrutura da matemática.
Apresentou
6 Votos
Descrição
Faça as conexões na árvore de matemática beta!Veja a matemática como nunca antes: totalmente formalizado, visual e navegável.A árvore de matemática é um banco de dados de gráficos totalmente formalizado de matemática, onde todos os teorema, definição e equação são um nó e suas relações são bordas.