https://proofcore.org/en/ 2026-08-29 weekly 1.0 https://proofcore.org/ru/ 2026-08-29 weekly 1.0 https://proofcore.org/de/ 2026-08-29 weekly 1.0 https://proofcore.org/es/ 2026-08-29 weekly 1.0 https://proofcore.org/tr/ 2026-08-29 weekly 1.0 https://proofcore.org/learn 2026-08-29 weekly 0.9 https://proofcore.org/en/docs.html 2026-08-29 weekly 0.8 https://proofcore.org/ru/docs.html 2026-08-29 weekly 0.8 https://proofcore.org/de/docs.html 2026-08-29 weekly 0.8 https://proofcore.org/es/docs.html 2026-08-29 weekly 0.8 https://proofcore.org/tr/docs.html 2026-08-29 weekly 0.8 https://proofcore.org/llms.txt 2026-08-29 weekly 0.7 https://proofcore.org/openapi.json 2026-08-29 weekly 0.7