List questions from theorem-provers

Published on 25 Mar 2026 - 1:16

57

Views

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

Published on 29 Mar 2026 - 12:54

100

Views

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

Published on 23 Apr 2026 - 18:40

955

Views

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

Published on 30 Mar 2026 - 15:01

153

Views

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

Published on 01 Apr 2026 - 11:03

70

Views

Prove: T$_1$ = T$_2$

Published on 26 Apr 2026 - 13:44

92

Views

The take lemma needs a coinductive proof

Published on 25 Mar 2026 - 3:05

756

Views

Prove cycling in a Rubik's cube

Published on 05 May 2026 - 21:54

48

Views

Asking help with Riemann Integration

Published on 06 Apr 2026 - 7:29

62

Views

"modulo" meaning in context of Formal Methods.

Published on 26 Mar 2026 - 16:09

407

Views

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

Published on 30 Apr 2026 - 6:53

64

Views

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

Published on 25 Mar 2026 - 3:07

339

Views

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

Published on 25 Mar 2026 - 3:07

116

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 25 Mar 2026 - 4:43

515

Views

Proving first order logic in coq

Published on 25 Mar 2026 - 2:59

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