https://proofcore.org/en/ 2026-08-18 weekly 1.0 https://proofcore.org/ru/ 2026-08-18 weekly 1.0 https://proofcore.org/de/ 2026-08-18 weekly 1.0 https://proofcore.org/es/ 2026-08-18 weekly 1.0 https://proofcore.org/tr/ 2026-08-18 weekly 1.0 https://proofcore.org/en/docs.html 2026-08-18 weekly 0.8 https://proofcore.org/ru/docs.html 2026-08-18 weekly 0.8 https://proofcore.org/de/docs.html 2026-08-18 weekly 0.8 https://proofcore.org/es/docs.html 2026-08-18 weekly 0.8 https://proofcore.org/tr/docs.html 2026-08-18 weekly 0.8