https://prover9.org/ 2026-04-04 1.0 https://prover9.org/manual-2026/index.html 2026-04-04 0.9 https://prover9.org/manual-2026/actions.html 2026-03-28 0.6 https://prover9.org/manual-2026/advanced.html 2026-03-28 0.7 https://prover9.org/manual-2026/attributes.html 2026-03-12 0.7 https://prover9.org/manual-2026/auto.html 2026-03-28 0.7 https://prover9.org/manual-2026/build-advanced.html 2026-04-04 0.7 https://prover9.org/manual-2026/checkpoint.html 2026-04-04 0.7 https://prover9.org/manual-2026/clause-properties.html 2026-03-28 0.6 https://prover9.org/manual-2026/cli-reference.html 2026-04-04 0.7 https://prover9.org/manual-2026/fof-prover9.html 2026-03-12 0.7 https://prover9.org/manual-2026/glossary.html 2026-03-28 0.7 https://prover9.org/manual-2026/goals.html 2026-03-12 0.7 https://prover9.org/manual-2026/hints.html 2026-03-12 0.7 https://prover9.org/manual-2026/inf-rules.html 2026-03-28 0.7 https://prover9.org/manual-2026/input.html 2026-03-28 0.8 https://prover9.org/manual-2026/install.html 2026-04-04 0.8 https://prover9.org/manual-2026/intro.html 2026-03-28 0.8 https://prover9.org/manual-2026/limits.html 2026-03-28 0.7 https://prover9.org/manual-2026/loop.html 2026-03-12 0.7 https://prover9.org/manual-2026/m4-arithmetic.html 2026-03-12 0.8 https://prover9.org/manual-2026/m4-checkpoint.html 2026-04-04 0.8 https://prover9.org/manual-2026/m4-input.html 2026-03-13 0.8 https://prover9.org/manual-2026/m4-interpformat.html 2026-03-12 0.8 https://prover9.org/manual-2026/m4-isofilter.html 2026-03-12 0.8 https://prover9.org/manual-2026/m4-options.html 2026-03-28 0.8 https://prover9.org/manual-2026/m4-tptp.html 2026-03-28 0.8 https://prover9.org/manual-2026/mace4.html 2026-03-12 0.8 https://prover9.org/manual-2026/more-prep.html 2026-03-28 0.7 https://prover9.org/manual-2026/options.html 2026-03-28 0.7 https://prover9.org/manual-2026/others.html 2026-03-28 0.7 https://prover9.org/manual-2026/output.html 2026-03-12 0.7 https://prover9.org/manual-2026/privacy.html 2026-04-04 0.7 https://prover9.org/manual-2026/process-inf.html 2026-03-28 0.7 https://prover9.org/manual-2026/production.html 2026-03-12 0.7 https://prover9.org/manual-2026/prooftrans.html 2026-03-28 0.7 https://prover9.org/manual-2026/references.html 2026-03-12 0.7 https://prover9.org/manual-2026/running.html 2026-03-28 0.8 https://prover9.org/manual-2026/select.html 2026-03-28 0.7 https://prover9.org/manual-2026/select2.html 2026-03-28 0.6 https://prover9.org/manual-2026/semantics.html 2026-03-28 0.6 https://prover9.org/manual-2026/sine.html 2026-04-04 0.7 https://prover9.org/manual-2026/strategy.html 2026-04-04 0.7 https://prover9.org/manual-2026/syntax.html 2026-03-28 0.8 https://prover9.org/manual-2026/talk-semantics.html 2026-03-12 0.5 https://prover9.org/manual-2026/talk-software.html 2026-03-12 0.5 https://prover9.org/manual-2026/term-order.html 2026-03-28 0.7 https://prover9.org/manual-2026/tptp.html 2026-03-28 0.7 https://prover9.org/manual-2026/verification.html 2026-04-04 0.7 https://prover9.org/manual-2026/weight.html 2026-03-28 0.7 https://prover9.org/manual-2026/whats-new.html 2026-04-04 0.8 https://prover9.org/manual-2026/white-black.html 2026-03-28 0.6