https://proofsouq.com/ 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/stats 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/ 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/explore 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/stats 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/blog 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/docs 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/docs/overview 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/docs/graphql-api 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/docs/graphql-examples 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/docs/mcp 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/docs/mcp-examples 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/docs/lean-language 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/docs/rocq-language 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/contact 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/blog/post/mlir-as-basis-for-a-search-engine 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/blog/post/bridging-mlir-cpp-to-java 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/blog/post/associativity-of-addition 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/blog/post/coinductive-heavy-automation 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/blog/post/equivalence-date-overlaps 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/blog/post/exfalso-coq 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/blog/post/induction-hypothesis-variation 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/blog/post/testcontainers-rocq-lean 2026-04-18T22:38:47.555Z weekly 0.7 https://proofsouq.com/blog/post/two-node-bidirectional 2026-04-18T22:38:47.555Z weekly 0.7