Questions tagged [forward-proof]
Forward proofs are the most common proof type. First, you state what you want to prove as a claim. Then, you begin to derive facts that you can use. As you go, write each key fact in a fact bank, which is just a place for you to collect known facts. At each step of the proof, consult the fact bank to see whether any of those facts are useful.