Erdős

erdos/: The mathematics wiki of the Erdős corpus: one folder per problem cataloged at erdosproblems.com under problems/, holding its page and its claim pages, with research notes, the corpus's own claims and the generated claim views; the sources are in the library wiki beside this one.

library/: The literature, filed by mathematical subject — each source folder holds a digest index and one page per extracted result.