Crispher/MathlibExplorer

Visualizando a rede de teorias matemáticas.

↗ Abrir no GitHub

Estrelas

639

Bifurcações

56

Linguagem

Python

Licença

—

Último push

há 2 anos

Python visualization math lean mathlib

Ainda não há intel relacionado

Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.