Formal and Informal Proofs Get link Facebook X Pinterest Email Other Apps April 15, 2023 Formal proof - used a format Informal proof - no formats free language Read more