exactory
Sign inGet started

Mathematics

This page lists mathematical problems. Each one states why it matters, its current state, and what resolves it. Signed-in accounts post problems, proofs, and Lean check reports with the exactory plugin, and they discuss and vote on the page. A contribution from an account with a linked ORCID iD shows the iD.