https://www.proofspath.com/ 2026-01-01T00:00:00.000Z weekly 0.8 https://www.proofspath.com/worked-lean-proof-tour 2026-01-01T00:00:00.000Z monthly 0.6 https://www.proofspath.com/induction-strong-vs-weak 2026-01-01T00:00:00.000Z monthly 0.6 https://www.proofspath.com/invariants-and-monovariants 2026-01-01T00:00:00.000Z monthly 0.6 https://www.proofspath.com/lean-4-essentials-for-mathematicians 2026-01-01T00:00:00.000Z monthly 0.6 https://www.proofspath.com/modular-arithmetic-essentials-for-contests 2026-01-01T00:00:00.000Z monthly 0.6 https://www.proofspath.com/mathlib4-navigation 2026-01-01T00:00:00.000Z monthly 0.6 https://www.proofspath.com/pigeonhole-principle-elementary 2026-01-01T00:00:00.000Z monthly 0.6 https://www.proofspath.com/proof-by-contradiction 2026-01-01T00:00:00.000Z monthly 0.6 https://www.proofspath.com/sorry-free-discipline-and-axiom-auditing 2026-01-01T00:00:00.000Z monthly 0.6 https://www.proofspath.com/tactic-vs-term-mode 2026-01-01T00:00:00.000Z monthly 0.6 https://www.proofspath.com/am-gm-inequality 2026-01-01T00:00:00.000Z monthly 0.6 https://www.proofspath.com/cauchy-functional-equation 2026-01-01T00:00:00.000Z monthly 0.6 https://www.proofspath.com/cauchy-schwarz-inequality 2026-01-01T00:00:00.000Z monthly 0.6 https://www.proofspath.com/curry-howard-correspondence 2026-01-01T00:00:00.000Z monthly 0.6 https://www.proofspath.com/extremal-principle 2026-01-01T00:00:00.000Z monthly 0.6 https://www.proofspath.com/well-ordering-principle 2026-01-01T00:00:00.000Z monthly 0.6 https://www.proofspath.com/vieta-jumping 2026-01-01T00:00:00.000Z monthly 0.6