https://getmerged.abhishekco.de/leanprover/lean4 2026-08-19T04:27:28Z daily 0.8 https://getmerged.abhishekco.de/leanprover-community/mathlib4 2026-08-19T11:00:44Z daily 0.8 https://getmerged.abhishekco.de/thomasahle/sunfish 2026-08-21T08:03:48Z daily 0.8 https://getmerged.abhishekco.de/teorth/analysis 2026-08-23T18:04:18Z daily 0.8 https://getmerged.abhishekco.de/google-deepmind/formal-conjectures 2026-08-21T08:03:48Z daily 0.8 https://getmerged.abhishekco.de/ImperialCollegeLondon/FLT 2026-08-19T17:15:27Z daily 0.8 https://getmerged.abhishekco.de/leanprover-community/physlib 2026-08-19T17:15:27Z daily 0.8 https://getmerged.abhishekco.de/leanprover/cslib 2026-08-19T17:15:27Z daily 0.8 https://getmerged.abhishekco.de/leanprover-community/batteries 2026-08-21T15:09:49Z daily 0.8 https://getmerged.abhishekco.de/digama0/mm0 2026-08-27T09:36:16Z daily 0.8 https://getmerged.abhishekco.de/leanprover-community/aesop 2026-08-21T15:09:49Z daily 0.8 https://getmerged.abhishekco.de/leanprover/verso 2026-08-21T15:09:49Z daily 0.8 https://getmerged.abhishekco.de/leanprover-community/NNG4 2026-08-27T09:36:16Z daily 0.8 https://getmerged.abhishekco.de/AlexKontorovich/PrimeNumberTheoremAnd 2026-08-27T09:36:16Z daily 0.8 https://getmerged.abhishekco.de/Verified-zkEVM/ArkLib 2026-08-21T15:09:49Z daily 0.8 https://getmerged.abhishekco.de/ufmg-smite/lean-smt 2026-08-27T09:36:16Z daily 0.8 https://getmerged.abhishekco.de/facebookresearch/atlas-lean 2026-08-27T09:36:16Z daily 0.8 https://getmerged.abhishekco.de/verse-lab/veil 2026-08-21T15:09:49Z daily 0.8 https://getmerged.abhishekco.de/FormalizedFormalLogic/Foundation 2026-08-27T09:36:16Z daily 0.8 https://getmerged.abhishekco.de/dwrensha/compfiles 2026-08-21T15:09:49Z daily 0.8 https://getmerged.abhishekco.de/trishullab/PutnamBench 2026-08-27T09:36:16Z daily 0.8 https://getmerged.abhishekco.de/strata-org/Strata 2026-08-20T11:29:40Z daily 0.8 https://getmerged.abhishekco.de/leanprover-community/ProofWidgets4 2026-08-20T11:29:40Z daily 0.8 https://getmerged.abhishekco.de/leanprover-community/iris-lean 2026-08-20T11:29:40Z daily 0.8 https://getmerged.abhishekco.de/avigad/mathematics_in_lean_source 2026-08-20T11:29:40Z daily 0.8 https://getmerged.abhishekco.de/cedar-policy/cedar-spec 2026-08-20T11:29:40Z daily 0.8 https://getmerged.abhishekco.de/anthropics/zeta-23-lean 2026-08-20T11:29:40Z daily 0.8 https://getmerged.abhishekco.de/TauCetiProject/TauCeti 2026-08-18T23:21:09Z daily 0.8 https://getmerged.abhishekco.de/cajal-technologies/talos 2026-08-20T11:29:40Z daily 0.8 https://getmerged.abhishekco.de/leanprover/comparator 2026-08-20T11:29:40Z daily 0.8 https://getmerged.abhishekco.de/lfglabs-dev/verity 2026-08-20T11:29:40Z daily 0.8 https://getmerged.abhishekco.de/Verified-zkEVM/VCVio 2026-08-20T11:29:40Z daily 0.8 https://getmerged.abhishekco.de/leanprover/reference-manual 2026-08-20T11:29:40Z daily 0.8 https://getmerged.abhishekco.de/kim-em/lean-zip 2026-08-20T11:29:40Z daily 0.8 https://getmerged.abhishekco.de/emilyriehl/infinity-cosmos 2026-08-20T11:29:40Z daily 0.8 https://getmerged.abhishekco.de/fpvandoorn/carleson 2026-08-20T11:29:40Z daily 0.8 https://getmerged.abhishekco.de/Verilean/sparkle 2026-08-20T11:29:40Z daily 0.8