List questions from theorem-provers

Published on 25 Mar 2026 - 1:16

56

Views

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

Published on 19 Nov 2019 - 15:30

98

Views

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

Published on 20 Nov 2019 - 20:59

954

Views

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

Published on 21 Mar 2026 - 21:49

152

Views

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

Published on 24 Nov 2019 - 6:02

56

Views

Prove: T$_1$ = T$_2$

Published on 24 Mar 2026 - 9:25

91

Views

The take lemma needs a coinductive proof

Published on 22 Mar 2026 - 11:43

748

Views

Prove cycling in a Rubik's cube

Published on 22 Mar 2026 - 8:11

46

Views

Asking help with Riemann Integration

Published on 22 Mar 2026 - 5:50

61

Views

"modulo" meaning in context of Formal Methods.

Published on 08 Feb 2020 - 14:42

405

Views

DISPROVING "Every odd positive integer is the sum of a prime number and twice the square of an integer"

Published on 24 Mar 2020 - 11:20

63

Views

How to prove a formula for the midpoint of a line between two vectors

Published on 30 Mar 2020 - 10:52

338

Views

Translating "John is an adult man" into First Order Logic and Prover9 input

Published on 25 Apr 2020 - 8:25

115

Views

proving that $\sum_{k=0}^{n}{{n \choose k}{n+k \choose k}}=\sum_{k=0}^{n}{2^k{n \choose k}^2}$

Published on 27 Apr 2020 - 17:29

514

Views

Proving first order logic in coq

Published on 22 Mar 2026 - 13:28

List Question

Status of declarative proof languages in proof assistants

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

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

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

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

Prove: T$_1$ = T$_2$

The take lemma needs a coinductive proof

Prove cycling in a Rubik's cube

Asking help with Riemann Integration

"modulo" meaning in context of Formal Methods.

DISPROVING "Every odd positive integer is the sum of a prime number and twice the square of an integer"

How to prove a formula for the midpoint of a line between two vectors

Translating "John is an adult man" into First Order Logic and Prover9 input

proving that $\sum_{k=0}^{n}{{n \choose k}{n+k \choose k}}=\sum_{k=0}^{n}{2^k{n \choose k}^2}$

Proving first order logic in coq

Trending Questions

Popular # Hahtags

Popular Questions