Crowdly

Add to Chrome

Consider the following Lean's proof state: p2q: P → Q, ...

✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.

Consider the

following Lean's proof state:

p2q: P → Q,

q2r: Q → R,

p: P,

⊢ R

Which of the following

tactics should be the next one?

exact p,

❌

apply p2q,

❌

apply q2r,

✅

exact r,

❌

Get Unlimited Answers To Exam Questions - Install Crowdly Extension Now!

Add to Chrome