https://alphaproofcode.xyz/ 2026-11-12T00:00:00.000Z weekly 1 https://alphaproofcode.xyz/pricing 2026-11-12T00:00:00.000Z weekly 0.95 https://alphaproofcode.xyz/guides 2026-11-12T00:00:00.000Z weekly 0.9 https://alphaproofcode.xyz/faq 2026-11-12T00:00:00.000Z monthly 0.8 https://alphaproofcode.xyz/about 2026-11-12T00:00:00.000Z monthly 0.55 https://alphaproofcode.xyz/products/starter-proof-pass 2026-11-12T00:00:00.000Z weekly 0.85 https://alphaproofcode.xyz/products/pro-proof-pass 2026-11-12T00:00:00.000Z weekly 0.85 https://alphaproofcode.xyz/products/team-proof-pass 2026-11-12T00:00:00.000Z weekly 0.85 https://alphaproofcode.xyz/guides/what-is-lean-4-proof-engineering 2026-11-12T00:00:00.000Z monthly 0.75 https://alphaproofcode.xyz/guides/lean-4-proof-repair-workflow 2026-11-12T00:00:00.000Z monthly 0.75 https://alphaproofcode.xyz/guides/formalization-project-scoping 2026-11-12T00:00:00.000Z monthly 0.75 https://alphaproofcode.xyz/guides/proof-credit-cost-guide 2026-11-12T00:00:00.000Z monthly 0.75 https://alphaproofcode.xyz/guides/verification-ready-lean-code-review 2026-11-12T00:00:00.000Z monthly 0.75 https://alphaproofcode.xyz/guides/lean-theorem-statement-checklist 2026-11-12T00:00:00.000Z monthly 0.75 https://alphaproofcode.xyz/terms 2026-11-12T00:00:00.000Z yearly 0.25 https://alphaproofcode.xyz/privacy 2026-11-12T00:00:00.000Z yearly 0.25