# Crispher/MathlibExplorer

<https://repo.masters-masters.com/en/repos/Crispher/MathlibExplorer>

[Home](https://repo.masters-masters.com/en) › [Crispher](https://repo.masters-masters.com/en/owners/Crispher) › [MathlibExplorer](https://repo.masters-masters.com/en/repos/Crispher/MathlibExplorer)

Crispher/MathlibExplorer has 653 stars on GitHub. Its RepoMasters card: Alpha tier. Visualizing the network of math theories. Language: Python.

| Field | Value |
| --- | --- |
| Owner | [Crispher](https://repo.masters-masters.com/en/owners/Crispher) |
| Stars | 653 |
| Forks | 55 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | None |
| Created | 2024 |
| Topics | lean, math, mathlib, visualization |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [Crispher/MathlibExplorer](https://github.com/Crispher/MathlibExplorer) |

## Repository

Visualizing the network of math theories.

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in Python

- [Tencent-Hunyuan/Hunyuan3D-Omni · ★ 653 · Python · Alpha](https://repo.masters-masters.com/en/repos/Tencent-Hunyuan/Hunyuan3D-Omni)
- [microsoft/langchain-for-beginners · ★ 653 · Python · Alpha](https://repo.masters-masters.com/en/repos/microsoft/langchain-for-beginners)
- [Mafifrizi/ARES · ★ 653 · Python · Alpha](https://repo.masters-masters.com/en/repos/Mafifrizi/ARES)
- [flask-extensions/Flask-GoogleMaps · ★ 653 · Python · Alpha](https://repo.masters-masters.com/en/repos/flask-extensions/Flask-GoogleMaps)
- [alisaifee/limits · ★ 653 · Python · Alpha](https://repo.masters-masters.com/en/repos/alisaifee/limits)
- [OWASP/ZSC · ★ 653 · Python · Alpha](https://repo.masters-masters.com/en/repos/OWASP/ZSC)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.