Solved problems
Browse accepted answers and open the supporting resolution. Lean verification has a separate filter.
About answer kinds and ordering
Answer kinds follow the accepted canonical resolution state. “Other accepted answer” covers records with no stored distinction between a proof and a refutation. The newest directory date comes first and can reflect administrative edits.
Loading current accepted answers.