Add theoremProver
Add solution for assign_value()
Code OCD :smile:
Add solution to compute_values()
Add solution for negation