solve

Solve a single homework problem with verified proofs