need help to write LISP program:Software Testing with ACL2 and ProofPad

six different TODO items that should complete.

Cinclude-book "testing" :dir:teachpacks) Cinclude-book "doublecheck" :dir :teachpacks) Cinclude-book "arithmetic-5/top" :dir:system) Here is an example that you can use to build your solution ; Function definition defun sum-up-to-n (n) Cif Czp n) :; Unit tests (check-expect (sum-up-to-n 0) (check-expect (sum-up-to-n 1) 1) (check-expect (sum-up-to-n 4) 10) (check-expect (sum-up-to-n 100) 5050) Little theory (randomized testing) (defproperty-program gauss-trick (n value (random-natural)) (equal (sum-up-to-n n)