Loading today’s stories
project
Lean formalization effort that verified and simplified a major unpublished result of Scholze, cited as a turning point for Lean in mathematics.
No evidence-backed relationships are recorded.
No current published clusters are mapped here yet.