List questions from theorem-provers | MathQa

Help with Prover9 for weak propositional systems

Published on 12 Jan 2025 - 19:12

How to prove this formula. Formula is for evaluate limits which answers are e to the power something.

Published on 12 Jan 2025 - 23:41

Prove $xy\leq \frac{x^p}{p} + \frac{y^q}{q}$

Published on 12 Jan 2025 - 21:45

prove that if $m$ and $n$ are integers and $m+n$ is odd then $m-n$ is odd.

Published on 12 Jan 2025 - 22:09

How to prove $r \implies (\exists x : \alpha, r)$ in Lean

Published on 12 Jan 2025 - 21:55

Prove: T$_1$ = T$_2$

Published on 12 Jan 2025 - 23:29

The take lemma needs a coinductive proof

Published on 12 Jan 2025 - 21:47

Prove cycling in a Rubik's cube

Published on 12 Jan 2025 - 18:47

Asking help with Riemann Integration

Published on 12 Jan 2025 - 21:49

"modulo" meaning in context of Formal Methods.

Published on 12 Jan 2025 - 21:50