Last updated: 18 Oct 2026 . Database scale: loading…
Browse statements, proofs, reviews and source papers. Use the filters to explore human and AI contributions.
All results Mathematical physics Quantum information
More filters Lean project All Lean projects Number of Lean resources Any number 2+ resources 3+ resources 5+ resources Lean source review Any source-review status Source reviewed Linked, not reviewed Partial / narrower Not located Not surveyed Sort results Default order Title A–Z Most Lean resources
Combine filters to find a proof and its reviews or explanations. Literature updates also include related results.
Reset filters
No matching results Try broader filters or reset the current selection.
Collection at a glance
Subjects represented
Understanding the entries
Result status The status of the exact statement in its cited source, with a date.
Proof origin Explore human-written, AI-assisted and AI-generated proofs. Undisclosed involvement is shown as unknown.
Human review See who reviewed a proof, which version they checked, and whether they were one of its authors.
Explanations Find human-written explanations and edited proofs. An explanation is separate from a correctness review.
Lean resources Find source code and documentation for Lean formalizations. The Map does not run the code. A result and its arguments One mathematical result may have several proofs, attempts, explanations and formalizations.
Some entries offer detailed proof histories; others currently link to the literature.
How to read the map →