A compilation of solutions to exercises and some other problems proposed in the book Fundamental Proof Methods in Computer Science, authored by Konstantine Arkoudas and David Musser. The solutions are provided using Athena.
A compilation of solutions to exercises and some other problems proposed in the book Fundamental Proof Methods in Computer Science, authored by Konstantine Arkoudas and David Musser. The solutions are provided using Athena.