unit_test_both.pdf (220.14 KB)

These tests are used with the lesson "Postulates and proofs: Let's take it to the courtroom!"