Astrolabe
The interactive window into our team's MetaMath network-analysis research: quantitative methods for finding structurally important declarations in mathematical graphs and hypergraphs.
Recommenda public Lean project—or one of your own.
Copy / Pasteits public GitHub URL below to preview the network in Astrolabe. Sign in only when you are ready to send it for review.
thefundamentaltheor3m/Sphere-Packing-Lean
Sphere-Packing-Lean
Public Lean source · pinned commit bad3de91
andreaevferrari/Cauchy-Integral-Formula-In-Formalisation
Cauchy-Integral-Formula-In-Formalisation
Public Lean source · pinned commit 802835ca
simoneseverini/Digraphs-of-Real-Orthogonal-Upper-Hessenberg-Matrices
Digraphs-of-Real-Orthogonal-Upper-Hessenberg-Matrices
Public Lean source · pinned commit 3c2391f1
lean-dojo/LeanMillenniumPrizeProblems
LeanMillenniumPrizeProblems
Public Lean source · pinned commit fd520710