https://devs-conjectures.rebelhub.eu 2026-10-20T08:46:38.802Z daily 1 https://devs-conjectures.rebelhub.eu/problems 2026-10-20T08:46:38.802Z daily 0.7 https://devs-conjectures.rebelhub.eu/results 2026-10-20T08:46:38.802Z daily 0.7 https://devs-conjectures.rebelhub.eu/competitions/floatlib 2026-10-20T08:46:38.802Z daily 0.7 https://devs-conjectures.rebelhub.eu/competitions/deflate 2026-10-20T08:46:38.802Z daily 0.7 https://devs-conjectures.rebelhub.eu/how-it-works 2026-10-20T08:46:38.802Z daily 0.7 https://devs-conjectures.rebelhub.eu/roadmap 2026-10-20T08:46:38.802Z daily 0.7 https://devs-conjectures.rebelhub.eu/faq 2026-10-20T08:46:38.802Z daily 0.7 https://devs-conjectures.rebelhub.eu/blog 2026-10-20T08:46:38.802Z daily 0.7 https://devs-conjectures.rebelhub.eu/status 2026-10-20T08:46:38.802Z daily 0.7 https://devs-conjectures.rebelhub.eu/submission-terms 2026-10-20T08:46:38.802Z daily 0.7 https://devs-conjectures.rebelhub.eu/terms 2026-10-20T08:46:38.802Z daily 0.7 https://devs-conjectures.rebelhub.eu/privacy 2026-10-20T08:46:38.802Z daily 0.7 https://devs-conjectures.rebelhub.eu/blog/deflate-competition-results 2026-10-20T08:46:38.802Z monthly 0.5 https://devs-conjectures.rebelhub.eu/blog/why-formal-verification 2026-10-20T08:46:38.802Z monthly 0.5 https://devs-conjectures.rebelhub.eu/blog/why-now-ai-mathematics 2026-10-20T08:46:38.802Z monthly 0.5