RLRasmus LindahlReview the 4-color Rado submission51497313 months agoHistory

Name	Last commit message	Last commit date
..
check_dihedral_ramsey_a4.py	Review the a >= 4 dihedral Ramsey submission	3 months ago
check_rado_40c41.py	Review the 4-color Rado submission	3 months ago
check_ramsey_19values_lower_bounds.py	Review the nineteen-values Ramsey bundle	3 months ago
rebuild_ssuf_planar_record.py	Review the Part III unsplittable-flow submission	3 months ago
verify_thakur_carlitz_wieferich.py	Reproduce the Thakur c-Wieferich counterexample independently	3 months ago