We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Added General information category
Added LPolyNC
Updated Home (markdown)
Added H10C link
Added HSC_PRV
Added names of problems to list
Added LPB to list of descriptions of undecidable problems
Started list of descriptions of undecidable problems
Initial Home page