https://proofgraph.org/authors/2026-03-29T00:00:00+00:00weeklyhttps://proofgraph.org/post/2026-03-29-proofgraph-findings/2026-03-29T00:00:00+00:00weeklyhttps://proofgraph.org/author/jonathan-llovet/2026-03-29T00:00:00+00:00weeklyhttps://proofgraph.org/tag/mathlib/2026-03-29T00:00:00+00:00weeklyhttps://proofgraph.org/post/2026-03-29T00:00:00+00:00weeklyhttps://proofgraph.org/tag/research/2026-03-29T00:00:00+00:00weeklyhttps://proofgraph.org/tag/spectral-analysis/2026-03-29T00:00:00+00:00weeklyhttps://proofgraph.org/tags/2026-03-29T00:00:00+00:00weeklyhttps://proofgraph.org/tag/announcement/2026-03-12T00:00:00+00:00weeklyhttps://proofgraph.org/post/proofgraph-launch/2026-03-12T00:00:00+00:00weeklyhttps://proofgraph.org/2026-03-11T00:00:00+00:00weeklyhttps://proofgraph.org/categories/weeklyhttps://proofgraph.org/contact/weeklyhttps://proofgraph.org/event/weeklyhttps://proofgraph.org/people/weeklyhttps://proofgraph.org/publication_types/weeklyhttps://proofgraph.org/publication/weekly